Logics, Types, and Semantics: a Journey in Theoretical Computer Science

Symposium in honour of Furio Honsell, on the occasion of his 60th birthday

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.

When and Where


When: Sunday 22nd July 2018, 9:00-18:00
Where: Palazzo Garzolini di Toppo Wassermann
Via Gemona, 92, 33100 Udine UD