[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZ_E497ag$
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 &
USPN, France)
* Course on Classical Realisability by Étienne Miquey
(Aix-Marseille Université, France)
* Course on Sheaves and proofs by Alex Simpson (Ljubljuana
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/resource/page/id/7__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZz-bG-Cc$
REGISTRATION
Please proceed to the registration as soon as possible and in any case
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/resource/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$
ACCOMODATION
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
conference center, once your registration is validated.
The website provides details on accomodation options (single or shared
double room at varying cots):
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/resource/page/id/8__;!!IBzWLUs!Qe-zrjt94Xqtdt8ljrjwn2zuQ3nD1QGgm9RgtMA2kPt_vANGctXD1zAW_PXr1KsOQxUw_KLAuefE2icE_Lfw6u_602_uiOsZY9dSHpU$
GRANTS FOR GRADUATE STUDENTS
A small number of grants is available to fund, partially or entirely,
the cost of registration and accomodation for students. (Priority will
be given to Master students.)
In order to apply for a grant, please write before july 20 to
[email protected], 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 whether you request partial or total
support (ie registration and/or accomodation).
