[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
It is our pleasure to announce that Marcelo Fiore (University of
Cambridge) was selected to hold the *chaire Jean Morlet* [1] at the CIRM
(Marseille, France), during the first semester of 2027.
https://urldefense.com/v3/__https://www.chairejeanmorlet.com/__;!!IBzWLUs!SvPaCp3FfzZ7rbmI5iQh-iAy6lxHmkd7Yc6LICSkvuvHN8Bk1jm7zLsfRGuSMlRB_BbBeQRuos4pZtD3Hpx0AMnchrVoh08LaVBJka3b$
The programme of this six-month residence, entitled
Two and Higher Dimensional Structure in Computation and Logic
will include the organization of a series of events at the CIRM, that we
would like to advertise early:
* 22 – 26 March, 2027, workshop: Interfacing models and formalizations of type
theories
https://urldefense.com/v3/__https://conferences.cirm-math.fr/3688.html__;!!IBzWLUs!SvPaCp3FfzZ7rbmI5iQh-iAy6lxHmkd7Yc6LICSkvuvHN8Bk1jm7zLsfRGuSMlRB_BbBeQRuos4pZtD3Hpx0AMnchrVoh08LaVmyX4xp$
* 3 – 7 May, 2027, research school: Two and higher dimensional models of
computation and logic
https://urldefense.com/v3/__https://conferences.cirm-math.fr/3686.html__;!!IBzWLUs!SvPaCp3FfzZ7rbmI5iQh-iAy6lxHmkd7Yc6LICSkvuvHN8Bk1jm7zLsfRGuSMlRB_BbBeQRuos4pZtD3Hpx0AMnchrVoh08LafeNX8bE$
* 10 – 14 May, 2027, conference: Two and higher dimensional structures
https://urldefense.com/v3/__https://conferences.cirm-math.fr/3687.html__;!!IBzWLUs!SvPaCp3FfzZ7rbmI5iQh-iAy6lxHmkd7Yc6LICSkvuvHN8Bk1jm7zLsfRGuSMlRB_BbBeQRuos4pZtD3Hpx0AMnchrVoh08Laa6kvtB2$
* 7 – 11 June, 2027, workshop: Species in combinatorics and semantics
https://urldefense.com/v3/__https://conferences.cirm-math.fr/3689.html__;!!IBzWLUs!SvPaCp3FfzZ7rbmI5iQh-iAy6lxHmkd7Yc6LICSkvuvHN8Bk1jm7zLsfRGuSMlRB_BbBeQRuos4pZtD3Hpx0AMnchrVoh08LacsQgI03$
Calls for participation will be sent later this year, but you can
already save the dates!
On behalf of the scientific and organizing committees, we are looking
forward to seeing you there.
Marcelo Fiore, chair holder,
Lionel Vaux Auclair, local project leader.
