LTT26 PROGRAM
08:45 Opening
09:00 Ugo de'Liguoro:
Stefano's achievements in logic and type theory
09:30 Peter Schuster:
Ultimate Glivenko?
10:00 Coffee Break
10:30 Daniele Pautasso and Simona Ronchi Della Rocca:
Principal Typing for Intersection Types, Forty-Five Years Later
10:55 Matteo Palazzo and Luca Roversi:
Reversible Computation with Stacks and ''Reversible Management of Failures''
11:20 Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso,
Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo,
Aljaž Grdadolnik, Massimo Pescarollo and Paola Pisano:
Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
11:45 Ferruccio Damiani, Daisuke Kimura, Luca Paolini and Makoto Tatsuta:
A Core Calculus for Type-safe Product Lines of C Programs
12:10 Felice Cardone and Luca Paolini:
Learning Foundations Beneath the Stars
12:35 Lunch Break
14:00 Zena M. Ariola, Paul Downen and Hugo Herbelin:
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
14:30 Ulrich Berger and Paulo Oliva:
Uniform Realizability Interpretations
15:00 Ulrich Kohlenbach:
On the Computational Content of Moduli of Regularity and their Logical Strength
15:30 Rob Nederpelt and Ferruccio Guidi:
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
16:00 Coffee Break
16:30 Marc Bezem, Thierry Coquand, Peter Dybjer and Martín Escardó:
A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
17:00 Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini and Furio Honsell:
Sensible Intersection Type Theories
17:25 Stefano's speech, video greetings, presentation of the Festschrift and closing remarks.
18:00 End
19:30 Social Dinner