Workshop Program

9:15-9:30 Gathering and Opening
9:30-10:30 Invited Talk
9:30
TBD
10:30-11:00 Coffee Break
11:00-12:30 LFMTP Contributed Talks
11:00
Dale Miller and Jui-Hsuan Wu
A positive perspective on term representation
11:45
Valentin Blot, Gilles Dowek and Thomas Traversié
An Implementation of Set Theory with Pointed Graphs in Dedukti
12:30-14:00 Lunch Break
14:00 - 15:30 Frank Pfenning's Session 1
14:00 - 15:00
TBD
15:00 - 15:30
TBD
15:30-16:00 Coffee Break
16:00 - 18:00 Frank Pfenning's Session 2
16:00 - 17:00
TBD
17:00 - 18:30
TBD