[TYPES/announce] Call for Abstracts: Proof Society 2026 (7-11 September, Aussois, FRANCE)

[Alexis Saurin]

[Apologies for multiple postings.]

***First Call for Abstracts***

8th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2026
Aussois, French Alps, France

https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org__;!!IBzWLUs!Wd0YNCOuhSlHHjfLG9QK_6nzsHfVOPX6q-oP2OQkEoA0CsfVgV1FcU2lSlMltKppczYm4deDPC3clg5x1mDvYoq29KhpwxqB_IrqWUo$  [1]

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

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.

SUBMISSIONS
We sollicit 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.

AIMS AND SCOPE
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



Links:
------
[1] https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org/__;!!IBzWLUs!Wd0YNCOuhSlHHjfLG9QK_6nzsHfVOPX6q-oP2OQkEoA0CsfVgV1FcU2lSlMltKppczYm4deDPC3clg5x1mDvYoq29KhpwxqBcT3QV5k$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260421/27c909ea/attachment-0001.htm>