Proof Society 2024 - 6th International School and Workshop on Proof Theory (original) (raw)

Thursday 12 September

09:00 - 09:30.

Arrival and registration

Invited talk (108) (Session and Local Chair: Paul Levy)

09:30 - 10:30.

Pierre-Marie Pédrot

Upon This Quote I Will Build My Church Thesis

10:30 - 11:00.

Coffee break

Contributed talks (108):

Structural proof theory
(Session Chair: Revantha Ramanayake)
(Local Chair: Abhishek De)

Contributed talks (110):

Reverse mathematics
(Session Chair: Paul Shafer)
(Local Chair: Iris van der Giessen)

11:00 - 11:20.

Dale Miller and Elaine Pimentel

Higher-level rules for sequent calculus

Giorgio Genovesi

Reverse Mathematics of Regular CSCS and some Topological Characterizations of ATR0

11:20 - 11:40.

Borja Sierra Miranda

Coalgebraic proof translations for non-wellfounded proofs

Giovanni Solda

Versions of the minimax theorem in reverse mathematics

Mini-break

11:50 - 12:10.

Robbe Van den Eede, Robbe Van Biervliet and Marc Denecker

A Sequent Calculus for Generalized Inductive Definitions

Oriola Gjetaj, Lorenzo Carlucci and Andrea Vivi

Free sets and rainbows for colorings of exactly large sets and barriers

12:10 - 12:30.

Stella Mahler

Proof Schemata and Primitive Recursive Arithmetic

Alakh Dhruv Chopra

Strength of the hyperated finitary powerset operator

12:30 - 14:00.

Lunch break (Cafe 1902)

Invited talk (108) (Session Chair: Pierre-Marie Pédrot) (Local Chair: Iris van der Giessen)

14:00 - 15:00.

Liron Cohen

From Program Logic to Realizability Models

15:00 - 15:30.

Coffee break

Contributed talks (108):

Modal logic
(Session Chair: Raheleh Jalali)
(Local Chair: Iris van der Giessen)

Contributed talks (110):

First-order arithmetic
(Session Chair: Reinhard Kahle)
(Local Chair: Abhishek De)

15:30 - 15:50.

Robert Freiman, Carlos Olarte, Elaine Pimentel and Chris Fermüller

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

Eduardo Skapinakis and Marcel Ertel

Logical theories for querying NP

15:50 - 16:10.

Mojtaba Mojtahedi

Polymodal Sigma-provability logic

Eitetsu Ken

Games with backtracking options corresponding to ISigma_k (X)

Mini-break

16:20 - 16:40.

Joost J. Joosten

Münchhausen provability and applications

Pietro Brocci

Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth

16:40 - 17:00.

Sonia Marin and Paaras Padhiar

Nested sequents for quasi-transitive modal logics

~~Piotr Gruza~~

~~Tightness and solidity in fragments of Peano Arithmetic~~

Memorial talk (108) (Session and Local Chair: Anupam Das)

17:15 - 17:30.

Paola Bruscoli

Remembering Alessio Guglielmi

17:30 - 18:30.

Proof Society Annual General Meeting (108)

19:30 - .

Workshop dinner (at The Botanist Gas Street Basin)

Friday 13 September

Invited talk (108) (Session Chair: Stepan Kuznetsov) (Local Chair: Iris van der Giessen)

09:30 - 10:30.

Cécilia Pradic

A generalization of Beth definability, proof-theoretically

10:30 - 11:00.

Coffee break

Contributed talks (108):

Metalogic
(Session Chair: Lutz Strassburger)
(Local Chair: Iris van der Giessen)

Contributed talks (110):

Computability and constructivity
(Session Chair: Giovanni Solda)
(Local chair: Abhishek De)

11:00 - 11:20.

Raheleh Jalali and Stefan Hetzl

On the Completeness of Interpolation Algorithms

~~Jan Gronwald~~

~~Problems of Representation of Ordinary Mathematics in Reverse Mathematics~~

11:20 - 11:40.

Iris van der Giessen

Uniform Interpolants and Bisimulation Quantifiers: Verified Constructions via Proof Systems

Yudai Suzuki and Keita Yokoyama

Approximating Pi^1_2 consequences of Pi^1_1-CA_0

Mini-break

11:50 - 12:10.

Zoltan A. Kocsis

A structural approach to higher-order connectives

Shuwei Wang

The global well-ordering on Weaver's third-order conceptual mathematics

12:10 - 12:30.

Amirhossein Akbar Tabatabai

Universal Proof Theory: Disjunction Property in First-order Theories (v)

Stephen Mackereth

How constructive is Gödel's Dialectica translation? (v)

12:30 - 14:00.

Lunch break (Cafe 1902)

Invited talk (108) (Session Chair: Isabel Oitavem) (Local Chair: Iris van der Giessen)

14:00 - 15:00.

Lutz Strassburger

Towards combinatorial proof theory

15:00 - 15:30.

Coffee break

Contributed talks (108):

Philosophy
(Session Chair: Joost Joosten)
(Local chair: Iris van der Giessen)

Contributed talks (110):

Substructural logic
(Session Chair: Dale Miller)
(Local Chair: Abhishek De)

15:30 - 15:50.

Will Stafford and Mike Schneider

Pure Folding; Making sense of paper folding evangalism

Swapnil Ghosh, Lev Beklemishev and Daniyar Shamkanov

Provably recursive functions of contraction free arithmetic.

15:50 - 16:10.

Robin Martinot

Proof-theoretic syntax as 'semantic' and as 'structural'

Tikhon Pshenitsyn

Complexity of Depth-Bounded Infinitary Action Logic with Multiplexing

Mini-break

16:20 - 16:40.

Alexander Victor Gheorghiu

From Proof Theory to Argumentation Theory via Proof-theoretic Semantics

Niccolò Veltri andCheng-Syuan Wan

Craig Interpolation for Semi-Substructural Logics

16:40 - 17:00.

Sophie Nagler

Behavioural Inferentialist Semantics for the Connectives in 2-Sided Sequent Calculi

Stepan Kuznetsov

A Decidable Fragment of the Lambek Calculus with Exponential

17:15 - 17:30.

Best Student Presentation Award (108)