The Schedule

Arrival & Registration

Variants of Proof-theoretic Semantics: Pros and Cons

Peter Schroeder-Heister

(University of Tübingen, Germany)

Meaning Dependence in Proof-Theoretic Semantics and SASC Systems

Leonardo Ceragioli

(Università degli Studi di Milano, Italy)

Lunch

Content-based Entailment

Gabriele Pulcini

(Tor Vergata University of Rome, Italy)

Coffee Break

A More General Approach to Proof-theoretic Semantics

Edmund Robinson

(Queen Mary University, UK)

Towards an Inferentialist Account of Information and Situation

Matthew Collinson

(University of Aberdeen, UK)

Ideas on Agency in an Inferentialist Account of Information

Timo Eckhardt

(University College London, UK)

Lunch

From Tonk to Harmony via Identity and Cut

Allard Tamminga

(University of Greifswald, Germany)

A Base-extension Semantics for a Paraconsistent Logic

Gabriele Brancati Abate

(University College London, UK)

Feasible Counterfactuals for Accountability and Recourse

Pinaki Chakraborty

(University College London, UK)

Coffee Break

TBA

Will Stafford [remote]

(Kansas State University, US)

Constructive Validity of Classical Principles: an unpublished note by Dag Prawitz

Luiz Carlos Pereira [remote]

(Pontifical Catholic University of Rio de Janeiro, Brazil)

Proof-theoretic Semantics as a Generalisation of Model-theoretic Semantics

Victor Barroso-Nascimento

(University College London, UK)

Coffee Break

From Phase Semantics to Base-extension Semantics

Ekaterina Piotrovskaya

(University College London, UK)

A Base-extension Semantics approach to Bilateralism

Maria Osório Oliveira Costa

(Universidade de Lisboa, Protugal & University College London, UK)

Base-extension Semantics for Prawitz's Ecumenical System

Joaquim Waddington

(University College London, UK)