Program
Friday January 17th
- 13.30-14.00: Welcome and Free Discussion
- Furio Honsell. Messaggio d'Auguri (5m). [Video]
- 14.00-15.25: SESSION I (Chair: Ugo Dal Lago)
- Giuseppe Longo. L'Importanza del "Modello Standard" per l'Informatica Come Scienza, Contro lo Scientismo del "Tutto è Informazione" (45m). [Slides]
- Pierpaolo Degano. Simone: Scholar and Gentleman. (20m)
- Roberto Giacobazzi. Form Corso Italia 40 to Implicit Program Analysis (20m). [Slides]
- 15.25-16.00: Coffee Break
- 16.00-17.30: SESSION II (Chair: Gian-Luigi Ferrari)
- Antonino Salibra. Mathematics from Lambda-Calculus (45m). [Slides]
- Paolo Coppola. Formalizing the (Real) Italian Legislative Process (45m). [Slides]
- 19.30: Social Dinner at "Matusel".
Saturday January 18th
- 9.00-10.25: SESSION III (Chair: Mariangiola Dezani)
- Stefano Guerrini. TBA. (45m)
- Simona Ronchi della Rocca. Two or Three Things I Learned about Simone Martini (through Linear Logic) (20m). [Slides]
- Maurizio Gabbrielli. Simone, Maestro, Collega ed Amico (20m). [Slides]
- 10.25-10.50: Coffee Break
- 10.50-12.40: SESSION IV (Chair: Eugenio Moggi)
- Harry Mairson. Digital Amati: Structure and Interpretation of Classical Stringed Instruments (45m). [Slides]
- Marco Gaboardi. Simone as a Mentor (20m).
- Pierre-Louis Curien. Proofs and Surfaces (45m). [Slides]
- 12.40-14.00: Lunch
- 14:00: Free Discussion