Logic List Mailing Archive

CfP: Proof Society 2026 International School and Workshop, 7-11 September, Aussois (France)

***First Call for Abstracts***

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

https://proofsociety26.sciencesconf.org<https://proofsociety26.sciencesconf.org/>



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 Fre (IRIF, Universit Paris Cit, France)
  *   Laura Fontanella (LACL, Universit Paris-Est Crteil, 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@sciencesconf.org<mailto:proofsociety26@sciencesconf.org>

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php