The Logic and Computation Seminar 1995 - 1996

The logic and computation group is composed of faculty and graduate students from the computer and information science, mathematics, and philosophy departments, and participates in the Institute for Research in the Cognitive Sciences. Professor Val Tannen is the currently in charge of the seminar and can be reached at val@saul.cis.upenn.edu.

The logic and computation group runs a weekly seminar. The seminar meets regularly on Mondays at 4:30 p.m. in room 4C8 of the David Rittenhouse Laboratory at the University of Pennsylvania. Any changes to this schedule will be specifically noted. The seminar is open to the public and all are welcome. Directions to DRL can be found here .

Seminar Schedule

2 October 1995: Healfdene Goguen (U. Edinburgh), Typed Operational Semantics
9 October 1995: Matthew Stone (U. Pennsylvania), Reasoning about the Permutabilities of Intuitionistic Logic
16 October 1995: Giorgi Japaridze (U. Pennsylvania), A practically meaningful notion of truth and the corresponding logic
23 October 1995: Martin Grohe (UC Santa Cruz and DIMACS), Existential least fixed-point logic and its relatives
6 November 1995: Jim Lipton (Wesleyan University), Categorical Logic Programming
13 November 1995: John Hannan (The Pennsylvania State University), A Type-based Escape Analysis for Functional Languages
20 November 1995: Thomas Wilke (DIMACS), Specifying Timed State Sequences in Predicate Logic and Decidability Issues
27 November 1995: Jerzy Tyszkiewicz (RWTH Aachen and DIMACS), Extension Axioms and Asymptotic Probabilities
4 December 1995: Atsushi Ohori (Kyoto University), A typed calculus for contexts
11 December 1995: Jens Palsberg (MIT), A Type System Equivalent to Flow Analysis
22 January 1996: Anuj Dawar (U. Swansea), Implicit Definability and Infinitary Logic
29 January 1996: Eric Rosen (Technion), Preservation Theorems in Finite Model Theory
5 February 1996: Kousha Etessami (DIMACS), An Until Hierarchy for Temporal Logic
12 February 1996: Peter Freyd (U. Pennsylvania), Paramathematics
19 February 1996: Andre Scedrov (U. Pennsylvania), Linear Logic Proof Games and Optimization
26 February 1996: Jeremy Avigad (DIMACS and U. Michigan), Subsystems of Second-Order Arithmetic and ``Ordinary'' Mathematics
4 March 1996: Glen Whitney (U. Michigan), Initial Fixpoint Recursion
1 April 1996: Katherine St. John (U. Pennsylvania), Recursion on Finite Herbrand Interpretations
8 April 1996: Robert Staerk (U. Pennsylvania), Formal methods in logic programming
15 April 1996: Assaf J. Kfoury (Boston University), Progress Report on Semi-unification
22 April 1996: James Lynch (Clarkson University and DIMACS), Chaos and Antichaos in Kauffman Nets
29 April 1996: Patrick D. Lincoln (SRI International) Complexity of Local Proof Search

Return to the Logic and Computation Group Page

Comments about this page can be sent to stjohn@math.upenn.edu.