[Proof Complexity] Proof Society 2026: Call for Participation and registration (7-11 September, Aussois, FRANCE)

[Alexis Saurin]

[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://proofsociety26.sciencesconf.org

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://proofsociety26.sciencesconf.org/resource/page/id/7

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://proofsociety26.sciencesconf.org/resource/page/id/8

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://proofsociety26.sciencesconf.org/resource/page/id/8

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 
proofsociety26 at sciencesconf.org, 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).