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 symposium is to bring together researchers interested to discuss the present and future perspectives of these topics.
But we will also celebrate the 60th birthday of Furio Honsell, who has given important contributions in this field during his long career.
Registration to this event is free.