[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 include:
* Ralph Sarkis - Quantitative Diagrammatic Axiomatisation of Relative
Entropy,
* Katya Piotrovskaya - From Phase Semantics to Base-extension Semantics
(and back),
* Madhumitha Krishnakumar - Counting Small Subhypergraphs,
* Paaras Padhiar - Second-order intuitionistic tense logic,
* Marc Thatcher - The Problem of Observable Value in Interaction Nets.
More info can be found here:
https://urldefense.com/v3/__https://leolob.ski/SMLS/smls15__;!!IBzWLUs!SU49rZSUbri4535Rui55jWUyQfkY6QcgZzbBb9C1We8rnV6WYC8ZGwvkRio_61pqSzTmCW3McB0yMfvaK7Ekf0LgKnBay6sitzkRJDg$
.
Everyone is welcome to attend (although note that the attendance is in person
only).
