Proof Assistants for Teaching
Artur Kornilowicz arturk _AT_ math.uwb.edu.pl <[email protected]> Tue, 7 Mar 2023 18:01:57 +0100
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--------------pHGP961qyNhwbPlJVzvW6tHq
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Dear Mizar Users,
I was asked to share the following information:
====
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: 19-23 June 2023.
More information can be found here:
https://pat2023.icube.unistra.fr/ <https://pat2023.icube.unistra.fr/>
Deadline for registration : April 17, 2023.
Julien Narboux
====
Best regards
Artur
--------------pHGP961qyNhwbPlJVzvW6tHq
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
</p>
<div class="moz-text-html" lang="x-unicode"><span
id="docs-internal-guid-81ae46c9-7fff-d765-8056-34280a0afed1"
class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Dear Mizar Users,</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">I was asked to share the following information:</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">====</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">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:</span></div>
<br class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><span class="Apple-tab-span" style="white-space:pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">• researchers in didactics of mathematics or informatics who would like to learn how and why use proof assistants in class</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><span class="Apple-tab-span" style="white-space:pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">• mathematicians who would like to learn how to use proof assistants for their research and teaching</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><span class="Apple-tab-span" style="white-space:pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">• specialists of proof assistants, who want to learn more about the didactic of proof and proving in mathematics.</span></div>
<br class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">The summer school will take place in les Vosges, in France.</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Dates: 19-23 June 2023.</span></div>
<br class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">More information can be found here:</span></div>
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><a href="https://pat2023.icube.unistra.fr/"
style="text-decoration:none;" class=""><span style="font-size: 9pt; font-family: Arial; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;" class="">https://pat2023.icube.unistra.fr/</span></a></div>
<br class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Deadline for registration : April 17, 2023.</span></div>
<br class="">
<div style="line-height: 1.38; margin-top: 0pt; margin-bottom:
0pt;" class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Julien Narboux</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">====</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Best regards</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Artur
</span></div>
<div class=""><span style="font-size: 9pt; font-family: Arial; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
</span></div>
</span>
</div>
</body>
</html>
--------------pHGP961qyNhwbPlJVzvW6tHq--