[HoTT] Aczel memorial conference & BLC 2025 meeting: registration open

[HoTT] Aczel memorial conference & BLC 2025 meeting: registration open

[Nicola Gambino]

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

[Apologies for multiple postings]

Dear colleagues and friends,

The Peter Aczel Memorial Conference and the British Logic Colloquium 2025 meeting will be held at the University of Manchester (UK) on September 10th, 11th, 12th, 2025. You can now register for these events via the web page:

https://estore.manchester.ac.uk/conferences-and-events/faculty-of-science-engineering/department-of-mathematics/departments-of-mathematics/british-logic-colloquium-2025-and-peter-aczel-memorial-conference

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

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

The invited speakers for the BLC meeting (September 11th-12th) are:

Mirna Džamonja (Paris)
Fairouz Kamareddine (Heriot-Watt)
Fraser MacBride (Manchester)
Paul-André Melliès (Paris)
Paula Quinon (Lund/Warsaw)
Katrin Tent (Münster)
Frank Wolter (Liverpool)

Additional information is available from:

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

Any questions, please let me know.

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

==
Dr Nicola Gambino
Department of Mathematics, University of Manchester
Web: 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/E75AEF69-9F1B-4C47-98DD-01CB50DBDEE6%40manchester.ac.uk.

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