[Proof Complexity] Last days to register to Proof Society 2026 (7-11 September)

[Alexis Saurin]

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

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 
Inference_
      * Marie Kerjean (CNRS & USPN, France) will give a course that will 
provide _a semantic introduction to Linear logic_
      * Étienne Miquey (Aix-Marseille Université, France) will give a 
course on _Classical Realisability_
      * Alex Simpson (Ljubljuana University, Slovenia) will give a course 
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://proofsociety26.sciencesconf.org/resource/page/id/6

CONTRIBUTED TALKS

The list of contributed talks is available at
https://proofsociety26.sciencesconf.org/resource/page/id/7

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

_(Late registrations will be considered only upon availability of the 
conference center.)_

ACCOMODATION

Participant will be hosted in the CNRS conference center in Aussois and 
the payment of the rooms and meals will be done onsite, directly to the 
conference center. (There are scams asking participants to book their 
room through a fake travel agency.)

The website provides details on accomodation options (single or shared 
double room at varying cots):
https://proofsociety26.sciencesconf.org/resource/page/id/8