It is now possible to register for the workshop **Effectiveness and Continuity in Categorical Logic** which will be held in Genoa on September 12th and 13th, 2024, to celebrate the 70th birthday of Pino Rosolini.
There is no registration fee, nor an actual deadline to register. However, in order to help us in the organisation, we kindly ask people intending to attend to *register by June 30* by filling out the form at
The meeting will consist of two parts: - A scientific workshop on Sept 12th and in the morning of Sept 13th, held at the department of mathematics of the University of Genoa, focusing on the topics related to the main scientific interests and contributions of Pino Rosolini. The following speakers have agreed to give a talk: Steve Awodey (Carnegie Mellon University) Nicola Gambino (University of Manchester) Martin Hyland (University of Cambridge) Maria Emilia Maietti (Università di Padova) Sandra Mantovani (Università di Milano) Eugenio Moggi (Università di Genova) Jaap van Oosten (Universiteit Utrecht) Edmund Robinson (Queen Mary, University of London) Thomas Streicher (Technische Universität Darmstadt) Enrico Vitale (Université catholique de Louvain) - A public event in the afternoon of Sept 13th, devoted to popularisation and dissemination of mathematics. This event will be held in Italian and will take place at Teatro Instabile in Genoa. It is organised by Roberto Lucchetti (Politecnico di Milano) and Roberto Natalini (Consiglio Nazionale delle Ricerche). The meeting is supported by DIMA, DIBRIS, INdAM-GNSAGA, AILA, and UniGe. For any information, please send an e-mail to: <emailto:eccl-2024@dima.unige.it>. We look forward to seeing you in Genoa! On behalf of the organisers -- Jacopo Emmenegger Postdoctoral researcher Dipartimento di Matematica (DIMA) Università degli Studi di Genova Genova 16146, Italy You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>