Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023


Chronological Thread 
  • From: Julien Narboux <narboux AT unistra.fr>
  • Subject: [Coq-Club] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023
  • Date: Thu, 13 Apr 2023 10:36:31 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=narboux AT unistra.fr; spf=Pass smtp.mailfrom=narboux AT unistra.fr; spf=None smtp.helo=postmaster AT smtpout02-ext4.partage.renater.fr
  • Dkim-filter: OpenDKIM Filter v2.10.3 zmtaauth02.partage.renater.fr AB642A0220
  • Ironport-sdr: 6437bfb7_RD6U/ISc+gjE3ENzaGqIN/tRaFizWli84ELL5zTcnqhO1Wn mQNOJ9BOzd2jrG4g5sykqiEVaZ23Ae/z+wpn+vQ==

Dear all,


Proof Assistants for Teaching (PAT) is a five-day summer school about the use of proof assistant for teaching proof and proving.
The school is supported mainly by the Cost project EuroProofNet (https://europroofnet.github.io/).
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.
There are only a few places left !


Julien Narboux



  • [Coq-Club] Last Call for Participation (Deadline April 17): Summer School about the use of Proof Assistants for Teaching PAT2023, Julien Narboux, 04/13/2023

Archive powered by MHonArc 2.6.19+.

Top of Page