[TYPES/announce] 2nd Call for Abstracts: Proof Society School and Workshop [PS24]. 9-13 September, Birmingham, UK.

[Anupam das]

***2nd Call for Abstracts***

6th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24]
University of Birmingham, UK
https://urldefense.com/v3/__https://proofsociety2024.com__;!!IBzWLUs!VNrVH_h6Jg2qvp9bVTrhfygfVFDPg7FM8qHhjyoBFt9JSDH0FhRfHntxQ79qfhymuSBjoVeD8858g2mqJhwX8Y2Is0KyoS0$ 

Abstract deadline: May 17
Notification: June 7
Final version: June 14
School: 9-11 September
Workshop: 11-13 September

The 6th Proof Society International School and Workshop will be 
organised by the University of Birmingham. The event takes place under 
the auspices of The Proof Society, a recently formed society to support 
the notion of proof in its broadest sense. The Proof Society has 
organised an annual school and workshop since 2018 (except 2020 due to 
the COVID19 pandemic).

The aim of the School is to cover basic and advanced topics in proof 
theory and related subjects. The School will be aimed at Master's and 
PhD students interested in proof theory, as well as more senior 
researchers from related areas in computer science, mathematics and 
philosophy.  The workshop is aimed at all researchers, from students to 
professors, working around proof theory and its applications. It will 
consist of a mixture of invited and contributed talks.


SCOPE

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

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


SUBMISSIONS

For the Workshop, we solicit submissions of short abstracts of *up to 2 
pages* (not including references), to be presented as a short talk. 
There are no formal published proceedings, but accepted abstracts will 
be made available for the workshop. Please submit your abstracts via 
easychair:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=ps24__;!!IBzWLUs!VNrVH_h6Jg2qvp9bVTrhfygfVFDPg7FM8qHhjyoBFt9JSDH0FhRfHntxQ79qfhymuSBjoVeD8858g2mqJhwX8Y2IuCaoF6k$ 


IMPORTANT DATES

Abstract deadline: 17 May 2024
Notification: 7 June 2024
Final versions: 14 June 2024
School: 9-11 September 2024
Workshop: 11-13 September 2024


BEST STUDENT PRESENTATION AWARD

As is traditional for the Proof Society Workshop, there will be an award 
for the *Best Student Presentation* at the workshop.


INVITED LECTURERS AND SPEAKERS

The School will consist of courses by the following lecturers:

* Silvia Ghilezan (University of Novi Sad)
* Ulrich Kohlenbach (TU Darmstadt)
* Hiroakira Ono (JAIST)
* Paul Shafer (University of Leeds)

The Workshop will include invited talks by the following speakers:

* Liron Cohen (Ben-Gurion University)
* Pierre-Marie Pédrot (Inria Rennes)
* Cécilia Pradic (Swansea University)
* Lutz Strassburger (Inria Saclay)


COLOCATION WITH BLC

PS24 will be colocated with the British Logic Colloquium meeting of 
2024, taking place *5-7 September*.


PROGRAM COMMITTEE

Juan Aguilera (Vienna University of Technology & Ghent University)
Gianluca Curzi (University of Gothenburg & University of Birmingham)
Anupam Das (University of Birmingham) [PC Chair]
Anton Freund (University of Würzburg)
Marianna Girlando (University of Amsterdam)
Raheleh Jalali (Czech Academy of Sciences)
Leszek Kolodziejczyk (University of Warsaw)
Stepan Kuznetsov (Steklov Mathematical Institute)
Sonia Marin (University of Birmingham)
Sara Negri (University of Genoa)
Isabel Oitavem (CMA and DM, FCT, Universidade NOVA de Lisboa)
Fedor Pakhomov (Ghent University)
Frank Pfenning (Carnegie Mellon University)
Thomas Powell (University of Bath)
Revantha Ramanayake (University of Groningen)
Alexis Saurin (CNRS)
Keita Yokoyama (Tohoku University)