Logic List Mailing Archive

CfR: PS24: Proof Society School and Workshop [Registration deadline: 2 August]. 9-13 September, Birmingham (UK)

CALL FOR PARTICIPATION
6th PROOF SOCIETY INTERNATIONAL SCHOOL AND WORKSHOP 2024 [PS24] University 
of Birmingham, UK https://proofsociety2024.com

Registration deadline: 2 August
School: 9-11 September
Workshop: 11-13 September

The 6th Proof Society International School and Workshop will be organised b
y the University of Birmingham. The event takes place under the auspices of
 The Proof Society, a recently formed society to support the notion of proo
f in its broadest sense. The Proof Society has organised an annual school a
nd 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 student
s interested in proof theory, as well as more senior researchers from relat
ed 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 c
ontributed talks.


SCOPE

The School and Workshop aim to promote proof theory and its related areas i
n 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


IMPORTANT DATES

Registration deadline: 2 August
School: 9-11 September
Workshop: 11-13 September


BEST STUDENT PRESENTATION AWARD

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


INVITED LECTURERS AND SPEAKERS

The School will consist of the following courses:
* The Curry-Howard correspondence journey. 

   Silvia Ghilezan (University of Novi Sad)
* Proof Mining: Foundations and Applications. 

   Ulrich Kohlenbach (TU Darmstadt)
* Cut elimination, analytic cut property and interpolation property. 

   Hiroakira Ono (JAIST)
* An introduction to reverse mathematics. 

   Paul Shafer (University of Leeds)

The Workshop will include the following invited talks:
* From Program Logic to Realizability Models. 

   Liron Cohen (Ben-Gurion University)
* Upon This Quote I Will Build My Church Thesis. 

   Pierre-Marie Pdrot (Inria Rennes)
* A generalization of Beth definability, proof-theoretically. 

   Ccilia Pradic (Swansea University)
* Towards combinatorial proof theory. 

   Lutz Strassburger (Inria Saclay)


COLOCATION WITH BLC

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

https://blc24.github.io/


REGISTRATION

Registration is now open via the online shop until 2 August 2024:

https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi
cal-sciences/school-of-computer-science/computer-science-courses-events/pro
of-society

The registration prices are:

* School & Workshop: 230
* School only: 130
* Workshop only: 130

The registration price includes all lunches, coffee breaks and social event
s. 



STUDENT GRANTS

A small number of registration fee waivers are available for students witho
ut access to funding to support their participation. Anyone who would like 
to request this should email Anupam Das <a.das@bham.ac.uk> at the earliest 
opportunity.


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