CICM 2023 Invited Speakers
- Frédéric Blanqui (INRIA):
Progresses on proof systems interoperability
- Mateja Jamnik (University of Cambridge):
TBA
- Lawrence C. Paulson (University of Cambridge):
Large-Scale Formal Proof for the Working Mathematician - Lessons learnt from the Alexandria Project
- Martina Seidl (Johannes Kepler University Linz):
Never trust your solver: Certificates for SAT and QBF