[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple postings.]
Due to several requests, we have extended the submission deadline till
June 7 June 2026, 23:59 AoE (with title and abstract registration before
Thursday 4 June, 23h59 AoE).
Best,
Alexis
***Deadline Extension***
PROOF SOCIETY 2026
8th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP
7-11 September 2026
Aussois, French Alps, France
https://urldefense.com/v3/__https://proofsociety26.sciencesconf.org__;!!IBzWLUs!QkwpgQXcph8pFGjTJMdbvXQuhRw7Pts34r5hiIeBkVpb58X8jLA5kvm78CjdRA96Z_hMDJHAWYrjETk1qAHalBM4Xy8qerRjpkuZ2v8$
IMPORTANT DATES
- Title & abstract registration: 4 June 2026, 23:59 AoE (new)
- Submission deadline: 7 June 2026, 23:59 AoE (updated)
- Notification: 17 June 2026 (updated)
- Final version: 30 June 2026
- School & Workshop: 7-11 September 2026
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://urldefense.com/v3/__https://easychair.org/my/conference?conf=ps26__;!!IBzWLUs!QkwpgQXcph8pFGjTJMdbvXQuhRw7Pts34r5hiIeBkVpb58X8jLA5kvm78CjdRA96Z_hMDJHAWYrjETk1qAHalBM4Xy8qerRjZF2FEks$
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
INVITED SPEAKERS
- Amir AKBAR TABATABAI, University of Groningen
- Victoria BARRETT, INRIA
- Gianluca CURZI, University of Gothenburg
- Marie KERJEAN, CNRS
- Alex SIMPSON, University of Ljubljana
- TBA
- TBA
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
[email protected]
