[HoTT] Aczel Memorial Conference / BLC 2025 meeting: first announcement

[HoTT] Aczel Memorial Conference / BLC 2025 meeting: first announcement

[Nicola Gambino]

[-- Attachment #1: Type: text/plain, Size: 1601 bytes --]

Dear friends and colleagues,

I am writing to let you know that The University of Manchester will be hosting the Peter Aczel Memorial Conference and the British Logic Colloquium annual meeting on September 10th-12th, 2025.

The invited speakers for the Peter Aczel memorial conference (September 10th, 2025) are:

 Steve Awodey (Carnegie Mellon University)
 Rosalie Iemhoff (Utrecht University)
 Andrew Swan (University of Ljubljana)
 Jouko Väänänen (University of Helsinki)

The invited speakers for the British Logic Colloquium (September 11th-12th, 2025) will include:

Mirna Džamonja (Paris)
Paul-André Melliès (Paris)
Paula Quinon (Lund/Warsaw)
Katrin Tent (Münster)
Frank Wolter (Liverpool)

Further information is available from:

https://sites.google.com/view/blc2025/home

We will send a second announcement when registration opens. If you wish to be notified directly as well, please fill in the pre-registration form available on the website.

With best regards,
Nicola (also on behalf of the other organisers of the meetings)

=
Dr Nicola Gambino
Department of Mathematics, University of Manchester
https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/
==

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CC1A6671-59B6-4F02-AD0C-83C8510F4E5E%40manchester.ac.uk.

[-- Attachment #2: Type: text/html, Size: 2685 bytes --]