Home / Pages /

Loading Events

« Full list of events

Workshop: Proofs, Rules, and Meanings

Research Project: Metaphysics and Logic Research Group

April 11 - April 12


Event Navigation

The workshop Proofs, Rules, and Meanings’ is set to take place at the University of St Andrews (School V, United College, and livestreamed via Microsoft Teams) on 11 and 12 April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.

event poster, summarising the information on the webpage

This workshop features:

  1. the contemporary logical and philosophical dimensions of proof-theoretic semantics;
  2. its historical roots and precursors; and
  3. its fruitful applications in philosophy, linguistics, computer science, mathematics, and beyond.


This is a hybrid workshop, and there are no registration fees. To register, fill in the following Microsoft Form: https://forms.office.com/e/ET0Jzv0eh7.


Thursday, 11th April 2024 

09:30-10:00 – registration, refreshments, and welcome

10:00-10:40 – talk by Greg Restall (St Andrews)

10:50-11:50 – talk by Sophie Nagler (St Andrews/ILLC Amsterdam)

11:55-12:35 – talk by Luca Incurvati (ILLC Amsterdam)

12:35-13:35 – catered lunch (open to all attendees)

13:40-14:40 – talk by Viviane Fairbank (St Andrews/Stirling)

14:45-15:25 – talk by Catarina Dutilh Novaes (VU Amsterdam/St Andrews)

15:45-17:15 – keynote by Bogdan Dicher (Witwatersrand)

18:30-20:00 – conference dinner at The Bothy (speakers only)


Friday, 12th April 2024

from 09:30 – refreshments

10:00-10:40 – talk by Peter Schroeder-Heister (Tübingen)

10:50-11:50 – talk by Robin Martinot (Utrecht)

11:55-12:35 – talk by Sara Uckelman (Durham)

12:35-13:35 – catered lunch (open to all attendees)

13:40-14:40 – talk by Francisca Silva (St Andrews/Stirling)

14:45-15:25 – talk by Elaine Pimentel (UCL)

15:40-16:40 – talk by Sara Ayhan (Bochum)

16:45-17:15 – plenary discussion: Proofs, rules, and meanings – quo vaditis? Chair: Stephen Read (St Andrews)

18:30-20:00 – post-workshop drinks (open to all)

Student Travel Awards

The Association of Symbolic Logic (ASL) is offering (limited) student travel awards to attend this ASL-sponsored workshop. The ASL strongly encourages applications from women and members of minority groups. Applicants must be student members of the ASL. Applications must be received by 10th January 2024. For more details, and to apply, see: https://aslonline.org/meetings/student-travel-awards/.

The Analysis Trust is also offering (limited) student bursaries, covering up to 50% of the full cost of accommodation and subsistence. Postgraduate students and under-employed recent postgraduates are eligable to apply. Travel costs are not covered by this bursary. Applications must be received by 10th February 2024, and can be made as part of the general registration process.


The workshop is organised in partnership with the St Andrews Metaphysics and Logic Research Group, and the St Andrews Medieval Logic Research Group. It is funded by the Arché Research Centre, the Scots Philosophical Association, the British Logic Colloquium, the Association for Symbolic Logic (ASL), and the Analysis Trust.

This event is affiliated with the PTS Network. Participants can join for updates on activities on Proof-Theoretic Semantics here.


Proof-theoretic semantics is a research programme that aims to determine the meaning of linguistic expressions by analysing their inferential use. It was inspired by general proof theory, the logical research programme that led to the development of the sequent calculus and natural deduction systems. Proof-theoretic semantics was subsequently given its name by Peter Schroeder-Heister (one of our speakers) in 1987. Since then, it has become a vibrant research field in philosophical, mathematical, computational and linguistic logic.


If you have any questions, get in touch via proofs@st-andrews.ac.uk.


April 11
April 12


Sophie Nagler


School V and via MS Teams
United College, St Salvator's Quad
St Andrews, KY16 9AL United Kingdom
+ Google Map
View Venue Website