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