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

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

10:30-11:00Coffee Break
11:00-12:30 Session 103A: Automation and Tooling
11:00
Trakt: a generic pre-processing tactic for theory-based proof automation (abstract)
11:30
10 Years of Superlinear Slowness in Coq (abstract)
12:00
Autogenerating Natural Language Proofs (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 104A: Presenting and Working with Coq Code
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