Aim

The aim of this workshop is to discuss and exchange new ideas and recent developments related to constructivism, proof theory, and proof-theoretic semantics.

Date & Venue

• Date: June 29, 2022.

• Venue: Room Tokio, Beckmanns Hof, Ruhr University Bochum. (Beckmanns Hof is not in this map. Here is a map.)

Speakers

• Sara Ayhan (Ruhr University Bochum)

• Nils Kürbis (Ruhr University Bochum & University of Łódź)

• Peter Milne (University of Stirling)

• Heinrich Wansing (Ruhr University Bochum)

Program

13:15--13:30 Welcome and Coffee/tea

13:30--14:15 Sara Ayhan "A bilateralist type-theory for 2Int"

14:15--14:30 Coffee/tea

14:30--15:15 Nils Kürbis "Normalisation for Milne’s System of Classical Logic with the Subformula Property"

15:15--15:30 Coffee/tea

15:30--16:30 Heinrich Wansing "Constructiveness, the Drinker Paradox, and the Drinker Truism"

16:30--16:45 Coffee/tea

16:45--17:45 Peter Milne "Sequent calculi in proof-theoretic semantics"

17:45--18:00 Goodbye and Coffee/tea

Acknowledgment

This workshop is supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research.

Organizer

The workshop is organized by Nils Kürbis and Hitoshi Omori. For any inquiries, please write to one (or both) of us at: Nils [dot] Kuerbis [at] rub [dot] de and/or Hitoshi [dot] Omori [at] rub [dot] de.