[Proof Complexity] Proof Society 2026: 2nd Call for Abstracts (7-11 September, Aussois, FRANCE)

[Alexis Saurin]

[Apologies for multiple postings.]

***Second Call for Abstracts***

PROOF SOCIETY 2026
8th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP
7-11 September 2026
Aussois, French Alps, France
https://proofsociety26.sciencesconf.org


NEWS
- submission details
- info on invited speakers


IMPORTANT DATES

- Abstract deadline: 29 May 2026
- Notification: 15 June 2026
- Final version: 30 June 2026
- School & Workshop: 7-11 September 2026


INVITED SPEAKERS

Confirmed invited lectures by:
- Victoria BARRETT, INRIA
- Marie KERJEAN, CNRS
- Alex SIMPSON, University of Ljubljana

Confirmed invited talks by:
- Gianluca CURZI, University of Gothenburg
- Amir AKBAR TABATABAI, University of Groningen

More speakers will be announced shortly.


SUBMISSIONS

We solicit submissions of short abstracts of up to 2 pages (not 
including references), to be presented as a talk at the workshop. There 
are no formal published proceedings, but accepted abstracts will be made 
available for the workshop.

Abstract can present ongoing or completed works, already published or 
not. We also welcome abstracts that offer to review at a higher level a 
result or proof technique that the author presented in a series of 
papers. In case the short abstract is supported by published work, 
master thesis or PhD thesis, authors are welcome to explicitely mention 
it with their submission.

Submissions shall be made via easychair using the following link:
https://easychair.org/my/conference?conf=ps26


AIMS AND SCOPE

The 8th Proof Society International School and Workshop will be 
organised in the Paul Langevin Center, Aussois, in the French Alps. The 
event takes place under the auspices of The Proof Society (PS), a 
society formed to support the notion of proof in its broadest sense.

The aim of the School is to cover basic and advanced topics in proof 
theory and related subjects. The workshop will consist in a mixture of 
invited and contributed talks. This year, in order to better connect the 
two events, the mornings will be dedicated to the Lectures while the 
afternoons will consist in the contributed workshop talks.

The even is aimed at a wide audience, from Master's and PhD students 
interested in proof theory to confirmed researchers working around proof 
theory and its applications in computer science, mathematics, 
linguistics and philosophy.

The PS26 Workshop and School aim to promote proof theory and its related 
areas, in the broadest sense. Topics include but are not limited to:

  	* Applied proof theory, e.g. proof mining
  	* Formalised proofs
  	* Structural proof theory
  	* Linear logic
  	* Computational interpretations of proofs
  	* Computability and proofs, e.g. Reverse Mathematics
  	* Ordinal analysis
  	* Philosophy of proof theory
  	* Proof systems and proof search
  	* Proof complexity
  	* Automated theorem proving


PROGRAM COMMITTEE

  	* Melissa Antonelli (Tuebingen University, Germany)
  	* Nuria Brede (IRIF, INRIA, France)
  	* Julie Cailler (LORIA, Université de Lorraine, France)
  	* Abhishek De (Kreia University, India)
  	* Hugo Férée (IRIF, Université Paris Cité, France)
  	* Laura Fontanella (LACL, Université Paris-Est Créteil, France)
  	* Rajeev Goré (Monash University, Australia)
  	* Jean-Baptiste Joinet (Université Lyon 3, France)
  	* Chantal Keller (LMF, Université Paris-Saclay, France)
  	* Dominik Kirst (LIX, INRIA, France)
  	* Olivier Laurent (LIP, CNRS, France)
  	* Anela Lolic (TU Wien, Austria)
  	* Ludovic Patey (IMJ-PRG, CNRS, France)
  	* Cecilia Pradic (Swansea University, UK)
  	* Elaine Pimentel (UCL, UK)
  	* Christian Retoré (LIRMM, Université de Montpellier, France)
  	* Alexis Saurin (IRIF, CNRS, France) PC chair
  	* Kazushige Terui (RIMS, Japan)
  	* Lionel Vaux-Auclair (I2M, Université d'Aix-Marseille, France)
  	* Margherita Zorzi (Università di Verona, Italy)


CONTACT

proofsociety26 at sciencesconf.org