FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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

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

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)
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

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

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

Location: Taub 3
16:00
Reasoning about Specifications in LF (abstract)
17:00-18:00 Session 39A

Frank Pfenning special session: contributed talks

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:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event