Last days to register to Proof Society 2026 (7-11 September)
Alexis Saurin <[email protected]> Wed, 29 Jul 2026 17:04:39 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
--===============5165957615891516396==
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 ]
--===============5165957615891516396==
Content-Type: multipart/alternative;
boundary="=_fd9c071c6f4f2734318bd23fc1ba495e"
--=_fd9c071c6f4f2734318bd23fc1ba495e
Content-Type: text/plain; charset=UTF-8;
format=flowed
Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings.]
***Last Call for Participation***
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!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i7=
7J3t5a-GiezqGrSE1LLoLN0CCBXz11u-4$=20
NEWS
- Details on courses and invited talks available on the website
- **Register before August 7**
INVITED LECTURES
* Torie Barrett (INRIA, France) will give a course on _Deep=20
Inference_
* Marie Kerjean (CNRS & USPN, France) will give a course that will=20
provide _a semantic introduction to Linear logic_
* =C3=89tienne Miquey (Aix-Marseille Universit=C3=A9, France) will gi=
ve a=20
course on _Classical Realisability_
* Alex Simpson (Ljubljuana University, Slovenia) will give a course=20
on _Sheaves and proofs_
INVITED TALKS
* Gianluca Curzi (Gothenburg University, Sweden)
* Hugo Herbelin (INRIA, France)
* Amir Akbar Tabatabai (Groningen University, the Netherlands)
* Sophie Touret (INRIA, France)
See the details on the invited lectures and talks at
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resourc=
e/page/id/6__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3=
njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0CCBkBYoZng$=20
CONTRIBUTED TALKS
The list of contributed talks is available at
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resourc=
e/page/id/7__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3=
njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0CCBO81ik1Q$=20
REGISTRATION
Please proceed to the registration before August 7th.
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!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3=
njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0CCB-o289aM$=20
_(Late registrations will be considered only upon availability of the=20
conference center.)_
ACCOMODATION
Participant will be hosted in the CNRS conference center in Aussois and=20
the payment of the rooms and meals will be done onsite, directly to the=20
conference center. (There are scams asking participants to book their=20
room through a fake travel agency.)
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!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3=
njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0CCB-o289aM$=20=
--=_fd9c071c6f4f2734318bd23fc1ba495e
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'>
<p><br /></p>
<div class=3D"v1pre">[Apologies for multiple postings.]<br /><br />***Last =
Call for Participation***<br /><br />PROOF SOCIETY 2026<br />8th PROOF SOCI=
ETY INTERNATIONAL SCHOOL AND WORKSHOP<br />7-11 September 2026<br />Aussois=
, French Alps, France<br /><a href=3D"https://urldefense.com/v3/__https://p=
roofsociety26.sciencesconf.org__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SNWcwl5p0ioSbuv=
tE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0CCBXz11u-4$" t=
arget=3D"_blank" rel=3D"noopener noreferrer">https://proofsociety26.science=
sconf.org</a><br /><br /></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">NEWS</div>
<div class=3D"v1pre">- Details on courses and invited talks available on th=
e website<br />- **Register before August 7**</div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><br />INVITED LECTURES <br /><br /> &=
nbsp; * Torie Barrett (INRIA, France) will give a course on <em>Deep I=
nference</em><br /> * Marie Kerjean (CNRS &=
; USPN, France) will give a course that will provide <em>a semantic introdu=
ction to Linear logic</em><br /> * Étie=
nne Miquey (Aix-Marseille Université, France) will give a course on =
<em>Classical Realisability</em><br /> * Alex =
Simpson (Ljubljuana University, Slovenia) will give a course on <em>Sheaves=
and proofs</em></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><br />INVITED TALKS <br /><br /> &nbs=
p; * Gianluca Curzi (Gothenburg University, Sweden) <br /> =
* Hugo Herbelin (INRIA, France)<br /> &n=
bsp; * Amir Akbar Tabatabai (Groningen University, the Netherlands)<br=
/> * Sophie Touret (INRIA, France)</div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">See the details on the invited lectures and talks at &=
nbsp;</div>
<div class=3D"v1pre"><a href=3D"https://urldefense.com/v3/__https://proofso=
ciety26.sciencesconf.org/resource/page/id/6__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SN=
Wcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0C=
CBkBYoZng$">https://proofsociety26.sciencesconf.org/resource/page/id/6</a><=
/div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><br />CONTRIBUTED TALKS <br /><br />The list of contri=
buted talks is available at <br /><a href=3D"https://urldefense.com/v3/__ht=
tps://proofsociety26.sciencesconf.org/resource/page/id/7__;!!IBzWLUs!Rjh4qo=
pu_WOOyQxn4SNWcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i77J3t5a-Giez=
qGrSE1LLoLN0CCBO81ik1Q$" target=3D"_blank" rel=3D"noopener noreferrer">http=
s://proofsociety26.sciencesconf.org/resource/page/id/7</a></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><br />REGISTRATION</div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">Please proceed to the registration before August 7th.&=
nbsp;</div>
<div class=3D"v1pre"><br />Registration fees: <br />  =
; * Regular registration fees: 275 euros<br /> =
* Student registration fees: 220 euros</div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">Info on the registration process:</div>
<div class=3D"v1pre"><a href=3D"https://urldefense.com/v3/__https://proofso=
ciety26.sciencesconf.org/resource/page/id/8__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SN=
Wcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0C=
CB-o289aM$" target=3D"_blank" rel=3D"noopener noreferrer">https://proofsoci=
ety26.sciencesconf.org/resource/page/id/8</a></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><em>(Late registrations will be considered only upon a=
vailability of the conference center.)</em></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">ACCOMODATION</div>
<div class=3D"v1pre"><br />Participant will be hosted in the CNRS conferenc=
e center in Aussois and the payment of the rooms and meals will be done ons=
ite, directly to the conference center. (There are scams asking participant=
s to book their room through a fake travel agency.)</div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre">The website provides details on accomodation options (=
single or shared double room at varying cots):</div>
<div class=3D"v1pre"><a href=3D"https://urldefense.com/v3/__https://proofso=
ciety26.sciencesconf.org/resource/page/id/8__;!!IBzWLUs!Rjh4qopu_WOOyQxn4SN=
Wcwl5p0ioSbuvtE-oFwQB-Td5nO_trl3njtPeCfUboeTY3UK4i77J3t5a-GiezqGrSE1LLoLN0C=
CB-o289aM$" target=3D"_blank" rel=3D"noopener noreferrer">https://proofsoci=
ety26.sciencesconf.org/resource/page/id/8</a></div>
<div class=3D"v1pre"> </div>
<div class=3D"v1pre"><br /><br /></div>
</body></html>
--=_fd9c071c6f4f2734318bd23fc1ba495e--
--===============5165957615891516396==--