Programme
Monday, September 23 – Room 1BC50
- 15:00-15:45 Opening – Pietro Sabelli (chair: Giovanni Sambin)
Presentation of his PhD thesis
"Around the Minimalist Foundation: (Co)Induction and Equiconsistency"
- 15:45-16:15 Discussion
- Coffee break
Tuesday, September 24 – Room 2AB45
Wednesday, September 25 – Room 1BC50
- 14:30-15:15 Giuseppe Rosolini (chair: Samuele Maschio)
Talk: Ultracompletions
|
Slides
- 15:15-15:45 Coffee break
- 15:45-16:30 Jacopo Emmenegger (chair: Cipriano Jr. Cioffo)
Talk: Some remarks on groupoids in fibrations
- 16:30-17:00 Coffee break
- 17:00-17:45 Giuseppe Rosolini
Talk: Exercises in Completion
|
Slides
- 20:15 Social Dinner – Celebrating Pino Rosolini's 70th birthday
Venue: Hostaria Piave, Riviera Paleocapa 24, Padova (Google Maps)
Thursday, September 26 – Room 1BC50