Logic List Mailing Archive

CfR: Liverpool Discrete Mathematics Colloquium, 8-9 September, University of Liverpool

Dear all,

The 3rd Liverpool Discrete Mathematics Colloquium takes place on 8-9 September 2026 at the University of Liverpool, UK.

This year's edition focuses on mathematically rigorous analysis of black-box AI algorithms. The first day is devoted to the Logic Aspects of Graph Neural Networks, while the second day focuses on Stochastic Gradient Descent. Each day will feature a 2-hour tutorial together with invited talks and time for discussion and networking.

Date: 8-9 September 2026
Location: Ashton Lecture Theatre, University of Liverpool, UK
Website: https://j-sylvester.github.io/LDMC26
Registration: https://forms.gle/ZgsuxUoVXMPCkwDUA

All are welcome and the event is free of charge, however registration is required by 25th of August in order to arrange the coffee breaks and dinner. For more details consult the website.

Tutorial speakers:
- Michael Benedikt (Oxford) and Tony Tan (Liverpool): Logical Aspects of Graph Neural Networks
- Steffen Dereich (M�nster): Convergence of Stochastic Gradient Descent

Invited speakers:
- Carsten Lutz (Leipzig)
- Emily Jin (Oxford)
- Benjamin Dupuis (ENS Paris)
- Alex Mijatovic (Warwick)
- Sarah Sachs (Bristol)
- Jonni Virtema (Glasgow)

The event is supported by:
- Heilbronn Institute for Mathematical Research
- Applied Probability Trust
- EPSRC
- University of Liverpool

Best wishes,
John Sylvester, Linglong Yuan, & Viktor Zamaraev





--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php