LTT 2026
Workshop on Logics and Type Theory
Satellite event of ETAPS 2026
Program
Festschrift Papers
This workshop celebrates the contributions of Stefano Berardi to the fields of logic and type theory. Explore the site for program details and the Festschrift accepted papers.