EECS celebrates Unesco World Logic Day 2025
On 14th January (the birthday of Alfred Tarski and the death day of Kurt Gödel), the School of Electronic Engineering and Computer Science organised a series of in-person talks to explore how logic and logical methods are utilised in current research.
The event took place at the QMUL Graduate Centre and was designed to engage students, researchers, and the wider public.
Sessions and speakers
Sessions throughout the day covered various facets of logic, including its applications in computer science, computational learning, the analysis of complex networks, and paradoxes. The agenda included:
- Pzemyslaw Walega (QMUL): Introduction
- Glynn Winskel (QMUL): From concurrent games to Gödel’s dialectica interpretation
- Nikos Tzevelekos (QMUL): Automata and logics for infinite alphabets
- Søren Riis (QMUL): logic, games & AI
- Vladislav Ryzhikov (Birkbeck University): Reverse engineering and learning of temporal logic queries
- Sandra Kiefer (Univ. of Oxford): Compact representations of graphs in logic
- Marc Roth (QMUL): The Weisfeiler-Leman dimension of pattern counting problems
- Paulo Oliva (QMUL): Self-reference and paradoxes: to Infinity and back!
In between sessions, Paul Curzon, Professor of Computer Science, also showcased a demo stand featuring magic tricks and conjuring with logics to promote the CS4FN - Computer Science for Fun magazine. You can find more information on the CS4FN blog here.
Future plans
EECS aims to make this a recurring annual event, always taking place on or around 14th January. The organising team will be looking at increasing the number of attendees and inviting more external speakers to enrich the program of future events.
You can find the slides from the talks on the event website.