<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Dear all,<br class=""><div><br class=""><div class=""><br class=""></div><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span class=""></span><span class="">Proof Assistants for Teaching (PAT) is a five-day summer school about the use of proof assistant for teaching proof and proving.</span></div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span class="">The school is supported mainly by the Cost project EuroProofNet (<a href="https://urldefense.com/v3/__https://europroofnet.github.io/__;!!IBzWLUs!QTYBUeOezHDhCiCPIW1ZTnCqOrQp5GSMnr649zJUJVTWGdnjU6xTN6dnqZA_YXwQ4wvVQKE4AdmwjBBUxSrSmOiPURcT0ctS$" class="">https://europroofnet.github.io/</a>).</span></div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span class="">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:</span><span class=""><br class=""></span><span class=""><br class=""></span><span class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• researchers in didactics of mathematics or informatics who would like to learn how and why use proof assistants in class<br class=""></span><span class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• mathematicians who would like to learn how to use proof assistants for their research and teaching<br class=""></span><span class=""><span class="Apple-tab-span" style="white-space:pre"> </span>• specialists of proof assistants, who want to learn more about the didactic of proof and proving in mathematics.<br class=""></span><span class=""><br class=""></span><span class="">The summer school will take place in les Vosges, in France.</span><div class=""><span class="">Dates: 18-23 June 2023.</span><span class=""><br class=""><br class=""></span><span class="">More information can be found here:<br class=""><a href="https://urldefense.com/v3/__https://pat2023.icube.unistra.fr/__;!!IBzWLUs!QTYBUeOezHDhCiCPIW1ZTnCqOrQp5GSMnr649zJUJVTWGdnjU6xTN6dnqZA_YXwQ4wvVQKE4AdmwjBBUxSrSmOiPUT5PfN3E$" class="">https://pat2023.icube.unistra.fr/</a><br class=""><br class=""><b class="">Deadline for registration : April 17, 2023.</b></span></div><div class=""><span class=""><b class="">There are only a few places left !</b></span></div><div class=""><span class=""><b class=""><br class=""></b><br class="">Julien Narboux</span></div></div></div></div><br class=""></body></html>