Events
June 2026 | |
 Fri 12 Jun 202616:00 - 17:00 | Designing Rules for Safe AI markets Centre for Fundamentals of AI and Computational Theory Konstantinos (Kostas) E. Zachariadis, Professor and Director of Research, School of Economics and Finance will discuss the issues around designing safe markets when AIs are involved, including ideas of how formal verification could play a part. |
| Thu 25 - Fri 26 Jun 2026 |  Logic and Graph Neural Networks Meeting.
 Centre for Fundamentals of AI and Computational Theory This workshop brings together researchers working on the connections between logic and graph neural networks. It focuses on expressive power, verification, logical explainability and interpretability, rule learning and knowledge discovery, and computational complexity, with the aim of discussing recent results, ongoing work, and future directions. Please see the event website (https://pwalega.github.io/logic-gnn-2026/) for programmes, times and other information. About the speaker/s: ... |
October 2026 | |
| Mon 5 - Tue 6 Oct 2026 | Conference: Centre for Linguistic Theory and Studies in Probability (CLASP) Concluding Conference Centre for Fundamentals of AI and Computational Theory QMULs Shalom Lappin is organising the final CLASP Conference. Registration is now open. In 2025 the Centre for Linguistic Theory and Studies in Probability (CLASP) completed ten years of groundbreaking research in computational linguistics,... |