Here you can find all my previous posts:

• Seminar - November 13, 2024
• Categorical Logic and Constructive Mathematics - October 2, 2024
• Minicourse "Substructural Logics à la Lambek – Proof Theory and Categorical Semantics" - October 2, 2024
• Minicourse on extracting programs from proofs - June 11, 2024
• Two seminars - April 9, 2024
• Seminar - March 15, 2024
• SAVE THE DATE! PACM∧N Workshop - January 25, 2024
• Three seminars - January 10, 2024
• Seminar - November 15, 2023
• Seminar - October 23, 2023
• Course "ADVANCES IN Mathematical Logic. Homotopy Type Theory" - September 28, 2023
• Two introductory seminars to Homotopy Type Theory - July 14, 2023
• Seminars - May 3, 2023
• Seminar - March 7, 2023
• Seminar - January 17, 2023
• Compact Course - June 1, 2021
• Seminar - June 1, 2021
• Seminar - April 7, 2021
• Seminar - April 7, 2021
• Seminar - February 4, 2021
• Seminar - January 15, 2021
• Minicourse "Modal Logics and Intuitionistic Logic" - August 7, 2020
• Minicourse "The dynamical method in commutative algebra" - August 7, 2020
• Seminar - July 10, 2020
• COQ introductory mini-course - June 28, 2020
• Seminar - June 15, 2020
• Seminar - June 15, 2020
• Seminar - June 15, 2020
• Seminar - June 2, 2020
• Seminar - June 1, 2020
• Seminar - May 23, 2020
• Departmental Seminar - May 22, 2020
• Seminar - May 13, 2020
• Compact Course "Program Extraction" - January 30, 2020
• CANCELED COMPACT COURSE - January 30, 2020
• Departmental Seminar - January 23, 2020
• Seminar - November 27, 2019
• Seminar - October 24, 2019
• Departmental Seminar - September 30, 2019
• Seminar talks - May 30, 2019
• Departmental Seminar - March 27, 2019
• Seminar - March 27, 2019
• Compact Course & Research Seminar - February 20, 2019
• Seminar - February 4, 2019
• Seminar - January 17, 2019
• Seminar - November 26, 2018
• Workshop - November 29, 2017
• Workshop - September 15, 2017
• Lorenzo Rossi - May 12, 2017
• Minisymposium - May 9, 2017
• Stefan Neuwirth - March 10, 2017
• Past events - March 10, 2017
• Loris Bozzato - February 3, 2017
• Riccardo Bruni - July 6, 2016
• Douglas S. Bridges - May 3, 2016
• Thomas Streicher - April 16, 2016
• Hajime Ishihara - March 17, 2016
• Helmut Schwichtenberg - March 17, 2016
• Emanuele Bottazzi - February 5, 2016
• Tatsuji Kawai - February 5, 2016
• Margherita Zorzi - December 9, 2015
• Dirk Pattinson - December 9, 2015
• Matteo Cristani - November 17, 2015
• Giuseppe Rosolini - November 17, 2015
• Daniel Wessel - November 6, 2015
• Matteo Pascucci - November 6, 2015
• Samuele Maschio - November 6, 2015
• Sara Negri - November 6, 2015
• Venue - November 5, 2015
• Archive - November 5, 2015
• Organisation - November 5, 2015