Dear all,
The 15th meeting of the Southern and Midlands Logic Seminar will take place on Wednesday 24 June at University College London, UK.
The speakers will be:
- Ralph Sarkis (UCL) - Quantitative Diagrammatic Axiomatisation of Relative Entropy
- Katya Piotrovskaya (UCL) - From Phase Semantics to Base-extension Semantics (and back)
- Madhumitha Krishnakumar (Queen Mary) - Counting Small Subhypergraphs
- Paaras Padhiar (Birmingham) - Second-order intuitionistic tense logic
- David Gao (Oxford) - Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
- Marc Thatcher (Sussex) - The Problem of Observable Value in Interaction Nets
More info can be found here: https://leolob.ski/SMLS/smls15.
Everyone is welcome to attend (although note that the attendance is in person only).
