<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-html" lang="x-unicode">
<div class="moz-text-flowed"
style="font-family: -moz-fixed; font-size: 12px;"
lang="x-unicode">We are pleased to announce the workshop <br>
<br>
<b>**Effectiveness and Continuity in Categorical Logic** </b><br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://url.au.m.mimecastprotect.com/s/b5jwCmO5wZsQBP2PtG46o8?domain=logic.dima.unige.it*__;Lw!!IBzWLUs!Vc-v5_htf9ihXrBLnz6_BRQmN1LHIDKAzZwnoDyEqvM2PbxRuab5byMY2IrdOYHkMsL0hESYf08CvC_6SvoFFxOFsJ6CJw5K1qx4iXI$">https://logic.dima.unige.it/eccl-24/</a><br>
<br>
which will be held in Genoa on September 12th and 13th, 2024,
to celebrate the 70th birthday of Pino Rosolini.
<br>
<br>
There is no registration fee. However, we kindly ask people
intending to attend to *<b>register, the sooner the better, by
filling out the form</b>* at
<a class="moz-txt-link-rfc2396E" href="https://urldefense.com/v3/__https://url.au.m.mimecastprotect.com/s/VX5TCnx1Z5URA353iJIoYB?domain=docs.google.com__;!!IBzWLUs!Vc-v5_htf9ihXrBLnz6_BRQmN1LHIDKAzZwnoDyEqvM2PbxRuab5byMY2IrdOYHkMsL0hESYf08CvC_6SvoFFxOFsJ6CJw5KNrHgn4o$">
<https://url.au.m.mimecastprotect.com/s/XotPC1WLjwsVk4j5hXNn_k?domain=docs.google.com></a>
<br>
<br>
We will try to arrange a few minutes slot for short recorded
video-messages from people who would like but cannot attend in
person, and we will try to make it accessible also remotely.
<br>
<br>
The meeting is supported by DIMA, DIBRIS, INdAM-GNSAGA, AILA,
UniGe and MaddMaths, and will consist of two parts:<br>
<br>
- 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.<br>
The following speakers have agreed to give a talk: <br>
Steve Awodey (Carnegie Mellon University) <br>
Nicola Gambino (University of Manchester) <br>
Martin Hyland (University of Cambridge) <br>
Maria Emilia Maietti (Università di Padova) <br>
Sandra Mantovani (Università di Milano) <br>
Eugenio Moggi (Università di Genova) <br>
Jaap van Oosten (Universiteit Utrecht) <br>
Edmund Robinson (Queen Mary, University of London) <br>
Thomas Streicher (Technische Universität Darmstadt) <br>
Enrico Vitale (Université catholique de Louvain) <br>
<br>
- 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). <br>
<br>
For any questions, please send an e-mail to: <a
class="moz-txt-link-rfc2396E"
href="mailto:emailto:eccl-2024@dima.unige.it">
<emailto:eccl-2024@dima.unige.it></a>.<br>
<br>
We look forward to seeing you in Genoa! <br>
<br>
On behalf of the organisers </div>
</div>
</div>
<pre class="moz-signature" cols="72">--
Jacopo Emmenegger
Postdoctoral research fellow
Dipartimento di Matematica (DIMA)
Università degli Studi di Genova
Genova 16146, Italy</pre>
</body>
</html>