Julien Narboux (Feb 28 2026 at 14:27): Julien Narboux (Feb 28 2026 at 14:27):Proof Assistants for Teaching (PAT2026) is a four-day event about the use of proof assistant for teaching proof and proving.
The event is organized in cooperation with Formal Mathematics and Proof Systems Interoperability (FMPSI'26) at Institut Pascal.
It aims to bring together researchers, teachers, students, and stakeholders interested in the use of proof assistant for teaching. PAT seeks to offer a broad spectrum of current research in the field of didactic of proof, the impact of the use of proof assistants in education, formalization of mathematics and user interfaces for theorem proving. The objective is to gather three audiences:
Remote participation is possible !
Last updated: Mar 11 2026 at 08:47 UTC