# 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.*