Summer school : Proof Assistants for Teaching

[Joao Marcos]

---------- Forwarded message ---------
From: Julien Narboux

Proof Assistants for Teaching (PAT) is a five-day summer school about
the use of proof assistants for teaching proof and proving. It aims to
bring together researchers, teachers, students, and stakeholders
interested in the use of proof assistants for teaching. PAT seeks to
offer a broad spectrum of current research in the field of didactics
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.

More information can be found here:
https://pat2023.icube.unistra.fr/

Deadline for registration : April 17, 2023.