Logics, types, and semantics Symposium in honour of Furio Honsell, on the occasion of his 60th birthday
LOGIC COLLOQUIUM 2018 will host the LTS workshop as a satellite event that will take place on July 22, 2018. For further information please visit http://lts.dimi.uniud.it.From the workshop website:
Logics, types, and semantics are across-the-board concepts, emerging in various areas of Theoretical Computer Science. Logics play a fundamental role e.g. in verification of programming languages.
Type theories, and the closely related set theories, are central in semantics of programming languages. The aim of the present workshop is to bring together researchers interested to discuss the present and future perspectives of these topics.