Proof Society 2026: Call for Participation and registration (7-11 September, Aussois, FRANCE)
Alexis Saurin <[email protected]> Mon, 06 Jul 2026 22:41:51 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
--===============1039795519709157684==
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 ]
--===============1039795519709157684==
Content-Type: multipart/alternative;
boundary="=_879aed2fb69b9c1f4914e206224bd6dd"
--=_879aed2fb69b9c1f4914e206224bd6dd
Content-Type: text/plain; charset=UTF-8;
format=flowed
Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings.]
***Call for Participation and Registration***
PROOF SOCIETY 2026
8th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP
7-11 September 2026
Aussois, French Alps, France
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org__;!!IBz=
WLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_K=
LAuefE2icE_Lfw6u_602_uiOsZ_E497ag$=20
NEWS
- list of contributed talks
- registration is open: **register before the 27/07**
INVITED LECTURES
* Course on Deep Inference by Torie Barrett (INRIA, France)
* Course on (Differential) Linear logic by Marie Kerjean (CNRS &=20
USPN, France)
* Course on Classical Realisability by =C3=89tienne Miquey=20
(Aix-Marseille Universit=C3=A9, France)
* Course on Sheaves and proofs by Alex Simpson (Ljubljuana=20
University, Slovenia)
INVITED TALKS
* Gianluca Curzi (Gothenburg University, Sweden)
* Hugo Herbelin (INRIA, France)
* Amir Akbar Tabatabai (Groningen University, the Netherlands)
* Sophie Touret (INRIA, France)
CONTRIBUTED TALKS
The list of contributed talks is available at
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resourc=
e/page/id/7__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctX=
D1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZz-bG-Cc$=20
REGISTRATION
Please proceed to the registration as soon as possible and in any case=20
before the 27 July.
Registration fees:
* Regular registration fees: 275 euros
* Student registration fees: 220 euros
Info on the registration process:
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resourc=
e/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctX=
D1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$=20
ACCOMODATION
Participant will be hosted directly in the conference center and the=20
booking and payment of the room and meals will be done directly to the=20
conference center, once your registration is validated.
The website provides details on accomodation options (single or shared=20
double room at varying cots):
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resourc=
e/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctX=
D1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$=20
GRANTS FOR GRADUATE STUDENTS
A small number of grants is available to fund, partially or entirely,=20
the cost of registration and accomodation for students. (Priority will=20
be given to Master students.)
In order to apply for a grant, please write before july 20 to=20
[email protected], in parallel to your pre-registration,=20
to ask for funding, explaining your need and joining a support letter=20
from a scientific supervisor (master thesis or PhD supervisor, graduate=20
course profs, etc.) and specifying whether you request partial or total=20
support (ie registration and/or accomodation).=
--=_879aed2fb69b9c1f4914e206224bd6dd
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 class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
[Apologies for multiple postings.]<br /><br />***Call for Participation and=
Registration***<br /><br />PROOF SOCIETY 2026<br />8th PROOF SOCIETY INTER=
NATIONAL SCHOOL AND WORKSHOP<br />7-11 September 2026<br />Aussois, French =
Alps, France<br /><a href=3D"https://urldefense.com/v3/__https://proofsocie=
ty26.sciencesconf.org__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2k=
Pt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZ_E497ag$" target=3D"=
_blank" rel=3D"noopener noreferrer">https://proofsociety26.sciencesconf.org=
</a> <br /><br /></div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
NEWS<br />- list of contributed talks<br />- registration is open: **regist=
er before the 27/07**</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />INVITED LECTURES <br /><br /> * Course o=
n Deep Inference by Torie Barrett (INRIA, France)<br /> &n=
bsp; * Course on (Differential) Linear logic by Marie Kerjean (CNRS &a=
mp; USPN, France)<br /> * Course on Classical =
Realisability by Étienne Miquey (Aix-Marseille Université, Fr=
ance)<br /> * Course on Sheaves and proofs by =
Alex Simpson (Ljubljuana University, Slovenia) </div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />INVITED TALKS <br /><br /> * Gianluca Cu=
rzi (Gothenburg University, Sweden) <br /> * H=
ugo Herbelin (INRIA, France)<br /> * Amir Akba=
r Tabatabai (Groningen University, the Netherlands)<br /> =
* Sophie Touret (INRIA, France)</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />CONTRIBUTED TALKS <br /><br />The list of contributed talks is availa=
ble at <br /><a href=3D"https://urldefense.com/v3/__https://proofsociety26.=
sciencesconf.org/resource/page/id/7__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3n=
D1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZz-bG-C=
c$" target=3D"_blank" rel=3D"noopener noreferrer">https://proofsociety26.sc=
iencesconf.org/resource/page/id/7</a> </div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />REGISTRATION</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
Please proceed to the registration as soon as possible and in any case befo=
re the 27 July. </div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />Registration fees: <br /> * Regular regi=
stration fees: 275 euros<br /> * Student regis=
tration fees: 220 euros</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
Info on the registration process:</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<a href=3D"https://urldefense.com/v3/__https://proofsociety26.sciencesconf.=
org/resource/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2=
kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$">https://p=
roofsociety26.sciencesconf.org/resource/page/id/8</a></div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
ACCOMODATION</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />Participant will be hosted directly in the conference center and the =
booking and payment of the room and meals will be done directly to the conf=
erence center, once your registration is validated.</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
The website provides details on accomodation options (single or shared doub=
le room at varying cots):</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<a href=3D"https://urldefense.com/v3/__https://proofsociety26.sciencesconf.=
org/resource/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2=
kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$">https://p=
roofsociety26.sciencesconf.org/resource/page/id/8</a></div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
</div>
<div class=3D"pre" style=3D"margin: 0; padding: 0; font-family: monospace">=
<br />GRANTS FOR GRADUATE STUDENTS <br /><br />A small number of grants is =
available to fund, partially or entirely, the cost of registration and acco=
modation for students. (Priority will be given to Master students.) <br /><=
br />In order to apply for a grant, please write before july 20 to <a href=
=3D"mailto:[email protected]">[email protected]=
</a>, in parallel to your pre-registration, to ask for funding, explaining =
your need and joining a support letter from a scientific supervisor (master=
thesis or PhD supervisor, graduate course profs, etc.) and specifying whet=
her you request partial or total support (ie registration and/or accomodati=
on).</div>
</body></html>
--=_879aed2fb69b9c1f4914e206224bd6dd--
--===============1039795519709157684==--