LFMTP PROGRAM
Monday, August 1st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:30-10:30 Session 28A
Invited talk
Chair:
Location: Taub 3
09:30 | Metatheory of Proto-Quipper in Hybrid: Context Relations Revisited (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 31E
Workshop papers
Chair:
Location: Taub 3
11:00 | A positive perspective on term representation: work in progress (abstract) PRESENTER: Jui-Hsuan Wu |
11:45 | An Implementation of Set Theory with Pointed Graphs in Dedukti (abstract) PRESENTER: Thomas Traversié |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:00 Session 34F
Frank Pfenning special session: invited talk
Chair:
Location: Taub 3
14:00 | A modal analysis of dependently typed metaprogramming (abstract) |
15:00-15:30 Session 35A
Frank Pfenning special session: contributed talks
Chair:
Location: Taub 3
15:00 | Associativity or Non-Associativity, Local or Global! (abstract) PRESENTER: Eben Blaisdell |
15:30-16:00Coffee Break
16:00-17:00 Session 37F
Frank Pfenning special session: invited talk
Chair:
Location: Taub 3
16:00 | Reasoning about Specifications in LF (abstract) |
17:00-18:00 Session 39A
Frank Pfenning special session: contributed talks
Chair:
Location: Taub 3
17:00 | A (Logical) Framework for Collaboration (abstract) |
17:15 | Type refinement as a unifying principle (abstract) |
17:30 | Language Minimalism and Logical Frameworks (abstract) PRESENTER: Chris Martens |
17:45 | Logics for Robotics |
18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Chair:
Location: Taub 1
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event