The Schedule
Day 1
Thursday 28th of April
Arrival 09:00-11:15
11:15-12:15
Why I Care about Proof-theoretic Semantics
David J. Pym
12:15-13:00
Inferentialism: Mixing to Separate
Elaine Pimentel
13:00 - 14:00
Categorical view of Base-extension Semantics for IL
Eike Ritter
Lunch 14:00 - 15:00
15:00 - 16:00
Topological Analysis of Disjunction in Proof-theoretic Semantics
Edmund Robinson
16:00 - 17:00
Proof-theoretic Semantics and Tactical Proof
Alexander V. Gheorghiu
Day 2
Friday 29th of April
Arrival 09:00-11:15
11:15-12:00
On the Completeness of Sandqvist's Base-extension Semantics
Timo Lang
12:00-12:45
Modal Logic and Proof-theoretic Semantics
Timo Eckhardt
12:45-13:30
A Proof-theoretic Semantics for the Logic of Bunched Implications
Sonia Marin & Diana Costa
Lunch and Departure
Mathematics, rightly viewed, possesses not only truth, but supreme beauty—a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show. The true spirit of delight, the exaltation, the sense of being more than Man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as poetry.
--- Betrand Russell, The Study of Mathematics