FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
COQ PROGRAM
Friday, August 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 137A: Automation and Tooling
Location: Taub 5
11:00
Trakt: a generic pre-processing tactic for theory-based proof automation (abstract)
PRESENTER: Enzo Crance
11:30
10 Years of Superlinear Slowness in Coq (abstract)
PRESENTER: Jason Gross
12:00
Autogenerating Natural Language Proofs (abstract)
PRESENTER: Seth Poulsen
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

14:00-15:30 Session 138A: Presenting and Working with Coq Code
Location: Taub 5
14:00
jsCoq: Literate Proof Documents Dressed for the Web
15:00
HenBlocks: Structured Editing for Coq (abstract)
PRESENTER: Bernard Boey
15:30-16:00Coffee Break