Penn Logic and Computation Seminar 1996-1997

Seminar Schedule

• Wednesday, September 11: Max I. Kanovich (Russian Humanities State Univ. / Univ. of Pennsylvania), The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic (4:30 p.m. in DRL 4C8)
• Thursday, September 19: Simonetta Ronchi della Rocca (Univ. of Turin), The Operational Content of Intersection Types (3:00 p.m. in MRE 216)
• September 23: Mitsuhiro Okada (Keio Univ.), Computation Models Based on Linear Logic
• September 30: Peter Selinger (Univ. of Pennsylvania), An Introduction to the Distributed Join Calculus
• October 7: Peter Selinger (Univ. of Pennsylvania), An Introduction to the Distributed Join Calculus, Part II
• October 21: Sampath Kannan (Univ. of Pennsylvania), An Introduction to Program Checking
• October 28: Sampath Kannan (Univ. of Pennsylvania), An Introduction to Program Checking, Part II
• Thursday, October 31: Drew Dean (Princeton Univ.), The Security of Dynamic Linking with Static Typing (3:00 p.m. in MRE 216)
• November 4: Leonid Libkin (Bell Labs), Relational Queries over Interpreted Structures (5:15 p.m. in DRL 4C8)
• November 11: Peter Lee (Carnegie Mellon Univ.), Self-Certified Code
• November 18: Dale Miller (Univ. of Pennsylvania and Univ. of Genoa), Linear Logic as a Logic Programming Language
• November 25: Sergei Artemov (Steklov Math. Institute and Cornell Univ.), Operational Modal Logic
• December 2: Zoe Lacroix (Univ. of Pennsylvania), On Non-Determinism in Queries, Machines and Languages
• December 9: Doug Howe (Bell Labs), A Proof Method in Operational Semantics and its Application to Hybrid Theorem Proving
• December 16: LiWu Chang (Naval Research Laboratory), Adjustable Graphic-Based Clustering Method
• January 20, 1997: Stefano Guerrini (Univ. of Pennsylvania), A Brief Tour of Net Reductions, Geometry of Interaction, and Optimal Implementations of Functional Programming Languages
• January 27, 1997: Stefano Guerrini (Univ. of Pennsylvania), A Brief Tour of Net Reductions, Geometry of Interaction, and Optimal Implementations of Functional Programming Languages II
• February 3: Kathleen Fisher (AT&T Research), Directions in Object-Oriented Programming Languages: Type Systems and Language Development
• February 10: Gregory McColm (Univ. of South Florida), Almost surely consensus
• February 17: Gaisi Takeuti (Univ. of Illinois and Univ. of Pennsylvania), Forcing and computational complexity
• February 21: Benjamin C. Pierce (Indiana Univ.), Comparing Object Encodings (3:30 p.m. in DRL 4C8)
• March 3: Trevor Jim (Univ. of Pennsylvania), Type inference in systems of recursive types
• March 17: Philip Wadler (Bell Labs), Pizza into Java: Translating theory into practice
• March 31, 5:30-6:30 p.m.: Sam Weber (Univ. of Pennsylvania), Meta-Pi: A Family of Specification Languages
• April 7: Hongde Hu (Univ. of Pennsylvania), Coherence completions of categories and game semantics for linear logic I
• April 14: Hongde Hu (Univ. of Pennsylvania), Coherence completions of categories and game semantics for linear logic II
• April 21: Raymond McDowell (Univ. of Pennsylvania), A Logic for Reasoning with Higher-Order Abstract Syntax