Logic List Mailing Archive

CfP: PS24: Proof Society School and Workshop. 9-13 September, Birmingham (UK)

6thPROOFSOCIETYINTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24] Unive
rsity of Birmingham, UK https://proofsociety2024.com

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

The 6thProofSocietyInternational School and Workshop will be organ
ised by the University of Birmingham. The event takes place under the auspi
ces of TheProofSociety, a recently formedsocietyto support the 
notion ofproofin its broadest sense. TheProofSocietyhas orga
nised an annual school and workshop since 2018 (except 2020 due to the COVI
D19 pandemic).

The aim of the School is to cover basic and advanced topics inproofth
eory and related subjects. The School will be aimed at Master's and PhD stu
dents interested inprooftheory, as well as more senior researchers fr
om related areas in computer science, mathematics and philosophy. The wo
rkshop is aimed at all researchers, from students to professors, working ar
oundprooftheory and its applications. It will consist of a mixture of
 invited and contributed talks.


SCOPE

The School and Workshop aim to promoteprooftheory and its related are
as in the broadest sense. Topics include but are not limited to:

* Appliedprooftheory
* Formalisedproofs
* Structuralprooftheory
* Linear logic
* Computational interpretations ofproofs
* Computability andproofs, e.g. Reverse Mathematics
* Philosophy ofprooftheory
*Proofsystems andproofsearch
*Proofcomplexity
* Automated theorem proving


SUBMISSIONS

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

https://easychair.org/conferences/?conf=ps24


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 theProofSocietyWorkshop, there will be an aw
ard for the *Best Student Presentation* at the workshop.


COLOCATION WITH BLC

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


PROGRAM COMMITTEE

Juan Aguilera (Vienna University of Technology & Ghent University) Gianluca
 Curzi (University of Gothenburg & University of Birmingham) Anupam Das (Un
iversity of Birmingham) [PC Chair] Anton Freund (University of Wrzburg) 
Marianna Girlando (University of Amsterdam) Raheleh Jalali (Czech Academy o
f Sciences) Leszek Kolodziejczyk (University of Warsaw) Stepan Kuznetsov (S
teklov Mathematical Institute) Sonia Marin (University of Birmingham) Sara 
Negri (University of Genoa) Isabel Oitavem (CMA and DM, FCT, Universidade N
OVA de Lisboa) Fedor Pakhomov (Ghent University) Frank Pfenning (Carnegie M
ellon University) Thomas Powell (University of Bath) Revantha Ramanayake (U
niversity of Groningen) Alexis Saurin (CNRS) Keita Yokoyama (Tohoku Univers
ity)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php