Invited Speakers
- Steve Awodey (Carnegie Mellon University, USA)
- Jacopo Emmenegger (University of Genova, Italy)
- Hugo Herbelin (INRIA, France)
- Zurab Janelidze (Stellenbosch University, South Africa)
- Giuseppe Rosolini (University of Genova, Italy)
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
- 14:30-15:15 Steve Awodey (chair: Milly Maietti)
Talk: The Effective 2-Topos as a (2,1)-Exact Completion - 15:15-15:45 Coffee Break
- 15:45-16:30 Hugo Herbelin (chair: Antonino Salibra)
Talk: On the logical structure of some choice, maximality, bar induction and well-foundedness principles | Slides - 16:30-17:00 Coffee Break
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
- 15:00-15:45 Zurab Janelidze (chair: Davide Trotta)
Talk: Noetherian forms from the lenses of regular fibrations - 15:45-16:15 Coffee Break
- 16:15-17:00 Closing – Giovanni Sambin (chair: Francesco Ciraulo)
Brief presentation, followed by Q&A session with the audience on the forthcoming book "Positive Topology. A new practice in constructive mathematics" | Slides | Video - 17:00-17:15 Aperitivo
Venue
Torre Archimede, Department of Mathematics (Google Maps).Address: Via Trieste, 63 - 35121 Padova (Italy)
Tel: +39 049 827 1200
Fax: +39 049 827 1499
E-mail: dipmath@math.unipd.it
Contact
For any information regarding the organization, please write to maietti@math.unipd.it
Organizers
