Proof Assistants for Teaching (PAT) is a five-day summer school about the use
of proof assistant for teaching proof and proving. It aims to bring together
researchers, teachers, students, and 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:
• researchers in didactics of mathematics or informatics who would like
to learn how and why use proof assistants in class
• mathematicians who would like to learn how to use proof assistants
for their research and teaching
• specialists of proof assistants, who want to learn more about the
didactic of proof and proving in mathematics.
The summer school will take place in les Vosges, in France.
Dates: 18-23 June 2023.
More information can be found here:
https://pat2023.icube.unistra.fr/
Deadline for registration : April 17, 2023.
Julien Narboux_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
