Call for Abstracts: Proof Society 2026 (7-11 September, Aussois, FRANCE)

--===============3210087693081190448==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--===============3210087693081190448==
Content-Type: multipart/alternative;
 boundary="=_9ad23c491666d24487dcce2b72b6b663"

--=_9ad23c491666d24487dcce2b72b6b663
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: quoted-printable

[Apologies for multiple postings.]

***First Call for Abstracts***

8th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2026
Aussois, French Alps, France

https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org__;!!IBz=
WLUs!Wd0YNCOuhSlHHjfLG9QK_6nzsHfVOPX6q-oP2OQkEoA0CsfVgV1FcU2lSlMltKppczYm4d=
eDPC3clg5x1mDvYoq29KhpwxqB_IrqWUo$  [1]

Abstract deadline: May 29
Notification: June 15
Final version: June 30
School & Workshop: 7-11 September

The 8th Proof Society International School and Workshop will be=20
organised in the Paul Langevin Center, Aussois, in the French Alps. The=20
event takes place under the auspices of The Proof Society (PS), a=20
society formed to support the notion of proof in its broadest sense.

The aim of the School is to cover basic and advanced topics in proof=20
theory and related subjects. The workshop will consist in a mixture of=20
invited and contributed talks.

This year, in order to better connect the two events, the mornings will=20
be dedicated to the Lectures while the afternoons will consist in the=20
contributed workshop talks.

The even is aimed at a wide audience, from Master's and PhD students=20
interested in proof theory to confirmed researchers working around proof=20
theory and its applications in computer science, mathematics,=20
linguistics and philosophy.

SUBMISSIONS
We sollicit submissions of short abstracts of up to 2 pages (not=20
including references), to be presented as a talk at the workshop. There=20
are no formal published proceedings, but accepted abstracts will be made=20
available for the workshop.

Abstract can present ongoing or completed works, already published or=20
not. We also welcome abstracts that offer to review at a higher level a=20
result or proof technique that the author presented in a series of=20
papers. In case the short abstract is supported by published work,=20
master thesis or PhD thesis, authors are welcome to explicitely mention=20
it with their submission.

AIMS AND SCOPE
The PS26 Workshop and School aim to promote proof theory and its related=20
areas in the broadest sense. Topics include but are not limited to:

  	* Applied proof theory, e.g. proof mining
  	* Formalised proofs
  	* Structural proof theory
  	* Linear logic
  	* Computational interpretations of proofs
  	* Computability and proofs, e.g. Reverse Mathematics
  	* Ordinal analysis
  	* Philosophy of proof theory
  	* Proof systems and proof search
  	* Proof complexity
  	* Automated theorem proving

PROGRAM COMMITTEE

  	* Melissa Antonelli (Tuebingen University, Germany)
  	* Nuria Brede (IRIF, INRIA, France)
  	* Julie Cailler (LORIA, Universit=C3=A9 de Lorraine, France)
  	* Abhishek De (Kreia University, India)
  	* Hugo F=C3=A9r=C3=A9e (IRIF, Universit=C3=A9 Paris Cit=C3=A9, France)
  	* Laura Fontanella (LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil, France)
  	* Rajeev Gor=C3=A9 (Monash University, Australia)
  	* Jean-Baptiste Joinet (Universit=C3=A9 Lyon 3, France)
  	* Chantal Keller (LMF, Universit=C3=A9 Paris-Saclay, France)
  	* Dominik Kirst (LIX, INRIA, France)
  	* Olivier Laurent (LIP, CNRS, France)
  	* Anela Lolic (TU Wien, Austria)
  	* Ludovic Patey (IMJ-PRG, CNRS, France)
  	* Cecilia Pradic (Swansea University, UK)
  	* Elaine Pimentel (UCL, UK)
  	* Christian Retor=C3=A9 (LIRMM, Universit=C3=A9 de Montpellier, France)
  	* Alexis Saurin (IRIF, CNRS, France) PC chair
  	* Kazushige Terui (RIMS, Japan)
  	* Lionel Vaux-Auclair (I2M, Universit=C3=A9 d'Aix-Marseille, France)
  	* Margherita Zorzi (Universit=C3=A0 di Verona, Italy)

CONTACT

[email protected]



Links:
------
[1] https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/__;=
!!IBzWLUs!Wd0YNCOuhSlHHjfLG9QK_6nzsHfVOPX6q-oP2OQkEoA0CsfVgV1FcU2lSlMltKppc=
zYm4deDPC3clg5x1mDvYoq29KhpwxqBcT3QV5k$=20=

--=_9ad23c491666d24487dcce2b72b6b663
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen=
eva,sans-serif'>
<div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<div style=3D"font-size: 10pt; font-family: Verdana,Geneva,sans-serif;">
<p><br /></p>
<p class=3D"v1MsoNormal"><span>[Apologies for multiple postings.]</span></p>
<p><br /></p>
<p><br /><span>***First Call for Abstracts***</span><br /><br /><strong>8th=
 PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2026</strong><br /><span>A=
ussois, French Alps, France</span></p>
<p><a href=3D"https://urldefense.com/v3/__https://proofsociety26.sciencesco=
nf.org/__;!!IBzWLUs!Wd0YNCOuhSlHHjfLG9QK_6nzsHfVOPX6q-oP2OQkEoA0CsfVgV1FcU2=
lSlMltKppczYm4deDPC3clg5x1mDvYoq29KhpwxqBcT3QV5k$" target=3D"_blank" rel=3D=
"noopener noreferrer">https://proofsociety26.sciencesconf.org</a></p>
<p><br /></p>
<p><span>Abstract deadline: May 29</span><br /><span>Notification: June 15<=
/span><br /><span>Final version: June 30</span><br /><span>School &amp; Wor=
kshop: 7-11 September</span></p>
<p><br /><br /><span>The 8th Proof Society International School and Worksho=
p will be organised in the Paul Langevin Center, Aussois, in the French Alp=
s. The event takes place under the auspices of The Proof Society (PS), a so=
ciety formed to support the notion of proof in its broadest sense.&nbsp;</s=
pan></p>
<div>
<div id=3D"v1v1home">
<div class=3D"v1v1content">
<p>The aim of the School is to cover basic and advanced topics in proof the=
ory and related subjects. The workshop will consist in a mixture of invited=
 and contributed talks.</p>
<p>This year, in order to better connect the two events, the mornings will =
be dedicated to the Lectures while the afternoons will consist in the contr=
ibuted workshop talks.</p>
<p>The even is aimed at a wide audience, from&nbsp;Master's and PhD student=
s interested in proof theory to confirmed researchers&nbsp;working around p=
roof theory and its applications in&nbsp;computer science, mathematics, lin=
guistics and philosophy.</p>
</div>
</div>
</div>
<p><br /><br /><strong>SUBMISSIONS</strong><br /><span>We sollicit submissi=
ons of short abstracts of up to 2 pages (not including references), to be p=
resented as a talk at the workshop. There are no formal published proceedin=
gs, but accepted abstracts will be made available for the workshop.</span><=
/p>
<p>Abstract can present ongoing or completed works, already published or no=
t. We also welcome abstracts that offer to review at a higher level a resul=
t or proof technique that the author presented in a series of papers. In ca=
se the short abstract is supported by published work, master thesis or PhD =
thesis, authors are welcome to explicitely mention it with their submission=
.<br /><br /><br /><strong>AIMS AND SCOPE</strong><br /><span>The PS26 Work=
shop and School aim to promote proof theory and its related areas in the br=
oadest sense. Topics include but are not limited to:</span></p>
<ul>
<li>Applied proof theory, e.g. proof mining</li>
<li>Formalised proofs</li>
<li>Structural proof theory</li>
<li>Linear logic</li>
<li>Computational interpretations of proofs</li>
<li>Computability and proofs, e.g. Reverse Mathematics</li>
<li>Ordinal analysis</li>
<li>Philosophy of proof theory</li>
<li>Proof systems and proof search</li>
<li>Proof complexity</li>
<li>Automated theorem proving</li>
</ul>
<p><br /><br /><br /><strong>PROGRAM COMMITTEE</strong></p>
<ul>
<li>Melissa Antonelli (Tuebingen University, Germany)</li>
<li>Nuria Brede (IRIF, INRIA, France)</li>
<li>Julie Cailler (LORIA, Universit&eacute; de Lorraine, France)</li>
<li>Abhishek De (Kreia University, India)</li>
<li>Hugo F&eacute;r&eacute;e (IRIF, Universit&eacute; Paris Cit&eacute;, Fr=
ance)</li>
<li>Laura Fontanella (LACL, Universit&eacute; Paris-Est Cr&eacute;teil, Fra=
nce)</li>
<li>Rajeev Gor&eacute; (Monash University, Australia)</li>
<li>Jean-Baptiste Joinet (Universit&eacute; Lyon 3, France)</li>
<li>Chantal Keller (LMF, Universit&eacute; Paris-Saclay, France)</li>
<li>Dominik Kirst (LIX, INRIA, France)</li>
<li>Olivier Laurent (LIP, CNRS, France)</li>
<li>Anela Lolic (TU Wien, Austria)</li>
<li>Ludovic Patey (IMJ-PRG, CNRS, France)</li>
<li>Cecilia Pradic (Swansea University, UK)&nbsp;</li>
<li>Elaine Pimentel (UCL, UK)</li>
<li>Christian Retor&eacute; (LIRMM, Universit&eacute; de Montpellier, Franc=
e)</li>
<li>Alexis Saurin (IRIF, CNRS, France) PC chair</li>
<li>Kazushige Terui (RIMS, Japan)</li>
<li>Lionel Vaux-Auclair (I2M, Universit&eacute; d'Aix-Marseille, France)&nb=
sp;</li>
<li>Margherita Zorzi (Universit&agrave; di Verona, Italy)</li>
</ul>
<p><br /></p>
<p><strong>CONTACT</strong></p>
<p>[email protected]</p>
<div id=3D"v1v1_rc_sig">&nbsp;</div>
</div>
</div>
</body></html>

--=_9ad23c491666d24487dcce2b72b6b663--

--===============3210087693081190448==--