Logic List Mailing Archive

CfR: Proof Society 2026, 7–11 September 2026, Aussois (France)

[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@sciencesconf.org<mailto:proofsociety26@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).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php