Logic List Mailing Archive

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

6th�PROOF�SOCIETY�INTERNATIONAL 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 6th�Proof�Society�International School and Workshop will be organ
ised by the University of Birmingham. The event takes place under the auspi
ces of The�Proof�Society, a recently formed�society�to support the 
notion of�proof�in its broadest sense. The�Proof�Society�has 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 in�proof�th
eory and related subjects. The School will be aimed at Master's and PhD stu
dents interested in�proof�theory, 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
ound�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 are
as 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 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 the�Proof�Society�Workshop, 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 W�rzburg) 
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