Penn Logic and Computation Seminar 1997-1998
The logic and computation group is composed of faculty and
graduate students from the
computer and information science,
departments, and participates in the
Institute for Research in the Cognitive Sciences.
The logic and computation group runs a weekly seminar.
The seminar meets regularly during the school year 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.
No talks are currently scheduled for the summer.
Patrick D. Lincoln (SRI International),
Mechanical Analysis of a Time-Triggered Group Membership
Andre Scedrov (University of Pennsylvania),
Hofmann's mixed modal/linear typed lambda calculus
and polynomial time
Rajeev Alur (University of Pennsylvania),
Symbolic analysis of hybrid systems
Peter Homeier (University of Pennsylvania),
Proving the Termination of Mutually Recursive Procedures
Higher dimensional categories: a logician's view
Benjamin C. Pierce (Indiana University),
Local type inference
Jon Riecke (Lucent Technologies)
The Secure Lambda Calculus: Programming with Integrity and Secrecy
Tevfik Bultan (University of Maryland)
Symbolic model-checking systems with unbounded integer variables
Carl Gunter (University of Pennsylvania),
A Reference Model for Requirements and Specifications
(Pennsylvania State University),
David MacQueen (Lucent Technologies),
SML '97 and Beyond
Funda Ergun (University of Pennsylvania),
Testing of Approximate Correctness of Programs
Peter Freyd (University of Pennsylvania)
Val Tannen (University of Pennsylvania)
A Calculus for Collections and Aggregates
Concurrent Games and Full Completeness
Proof-Theoretic Foundation of Compilation in
Logic Programming Languages
Return to the Logic and
Computation Group Page
Comments about this page can be sent to firstname.lastname@example.org.