Program of PSTT

Thursday, July 15th

Thursday's program is also available with abstracts and side by side with other events.

10:30‑12:30 Session 1
Location: IF 1.15
10:30 Harley D. Eades III and Aaron Stump
Hereditary Substitution for Stratified System F
11:10 Alexandre Viel and Dale Miller
Proof search when equality is a logical connective: Extended Abstract
11:50 Arnaud Spiwack
An abstract type for constructing tactics in Coq
14:00‑14:40 Session 2
Location: IF 1.15
14:00 Zachary Snow, David Baelde and Gopalan Nadathur
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
15:30‑16:30 Session 3
Location: IF 1.15
15:30 David Baelde
An overview of focusing for least and greatest fixed points in intuitionistic logic
16:30‑17:30 Session 4
Location: IF 1.15
16:30 Sean McLaughlin (Carnegie Mellon University)
The Inverse Method for Intuitionistic Modal Logic