ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

Program of PSTT

Thursday, July 15th

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

10:00‑10:30 Coffee break
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
12:30‑14:00 Lunch
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:00‑15:30 Coffee break
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