COQ PROGRAM
Friday, August 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:30-10:30 Session 135A: Libraries
Chair:
Location: Taub 5
| 09:30 | A Coq Library for Mechanised First-Order Logic (abstract) PRESENTER: Dominik Kirst |
| 10:00 | QuantumLib: A Library for Quantum Computing in Coq (abstract) PRESENTER: Jacob Zweifler |
10:30-11:00Coffee Break
11:00-12:30 Session 137A: Automation and Tooling
Chair:
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
Chair:
Location: Taub 5
| 14:00 | jsCoq: Literate Proof Documents Dressed for the Web PRESENTER: Emilio Jesús Gallego Arias |
| 15:00 | HenBlocks: Structured Editing for Coq (abstract) PRESENTER: Bernard Boey |
15:30-16:00Coffee Break
16:00-17:00 Session 139A: Coq and its Ecosystem
Chair:
Location: Taub 5
| 16:00 | Coq Community Survey 2022: Summary of Results (abstract) PRESENTER: Ana de Almeida Borges |
| 16:30 | Discussion with Coq Core Development Team PRESENTER: Emilio Jesús Gallego Arias |