Past Events
November 2025 | |
| Tue 4 Nov 2025 10:00 - 16:00 |  AI Collaborative WorkshopCentre for Probability, Statistics and Data Science We aim to bring together experts in AI and those using (or hoping to use) AI methods in their research, from all the five Schools of the Faculty of Science and Engineering. We envisage that the workshop will strengthen the ties between Schools, build a research community around the development and use of AI and develop teams and ideas well ahead of funding calls. Participation by registration: Registration is now closed. Organisers: Marcella Bona, Thomas Roelleke, Kostas Papafitsoros,... |
October 2025 | |
| Mon 13 Oct 2025 13:00 - 14:00 |  Seminar: Sir Peter Mansfield Lecture: "Bioelectronics – From Exploratory Research to Medical Translation" by Professor John Rogers, Querrey Simpson Institute for Bioelectronics, Northwestern University
Centre for Electronics Bioelectronics – From Exploratory Research to Medical Translation Please do register for the seminar at this link Advanced electronic/optoelectronic technologies designed to allow stable, intimate integration with living organisms will accelerate progress in biomedical research; they will also serve as the foundations for new approaches in monitoring and treating diseases. Specifically, capabilities for injecting miniaturized, biocompatible electronic systems and other components into... |
August 2025 | |
| Wed 27 - Fri 29 Aug 2025 |  TIME: 32st International Symposium on Temporal Representation and ReasoningCentre for Fundamentals of AI and Computational Theory Queen Mary University of London is proud to host the 32nd International Symposium on Temporal Representation and Reasoning—the premier annual event dedicated to the study of time in computer science. For over two decades, TIME has been the only multidisciplinary international symposium focusing on temporal representation and reasoning, bringing together researchers from diverse fields such as Artificial Intelligence, Temporal Logic, Verification, and Temporal Databases. In recent years, the... |
May 2025 | |
| Fri 9 May 2025 15:00 - 17:00 | Seminar: Theory talks: Type Systems for Numerical Error Analysis Centre for Fundamentals of AI and Computational Theory Title: Type Systems for Numerical Error Analysis Speaker: Justin Hsu (Cornell University: /https://justinhsu.net/) Abstract: Programs in numerical analysis and scientific computing make heavy use of floating-point numbers to approximate ideal... |
April 2025 | |
| Tue 22 - Fri 25 Apr 2025 |  Conference: IEEE Global Engineering Education Conference 2025Centre for Human-Centred Computing Hosted by Queen Mary this year, the 16th edition will focus on Sustaining Educational Excellence in Engineering: Generative AI in Enhancing Critical Thinking and Active Learning. With a diverse Organising Committee of 38 members from 13 countries and 19 institutions, the conference promises a wealth of global perspectives and expertise, fostering innovation in engineering education worldwide. Visit the IEEE EDUCON 2025 website for more details and to get involved. Dr Usman Naeem, Reader in... |
| Fri 11 Apr 2025 15:00 - 17:00 | Seminar: Theory Talks:- The Random Neural Network and G-Networks: Mathematical Tools for Machine Learning and System Performance Evaluation Centre for Fundamentals of AI and Computational Theory "The Random Neural Network and G-Networks: Mathematical Tools for Machine Learning and System Performance Evaluation" Erol Gelenbe FACM & FIEEE Institute of Theoretical & Applied Informatics, Polish Academy of Sciences Abstract: Since the... |
March 2025 | |
| Fri 28 Mar 2025 15:00 - 17:00 | Seminar: Theory talks Centre for Fundamentals of AI and Computational Theory There has been a change to the posted event Speaker: Rob Arthan Rob Arthan will give a talk on mechanized theorem proving, particularly as regards its application in mathematics, Rob's talk should last one hour, so we will have time... |
February 2025 | |
| Fri 28 Feb 2025 15:00 - 17:00 | Seminar: Theory Talks Centre for Fundamentals of AI and Computational Theory Speaker: Glynn Winskel Probablilistic Event Structures Speaker: Edmund Robinson Some basic issues in logic The seminar will be followed by a social event at which all are welcome. |
| Mon 10 Feb 2025 15:00 - 17:00 | Seminar: Theory talks Centre for Fundamentals of AI and Computational Theory Speaker: Vasilis Klimis Title: Fuzzing The work is about how we applied lightweight formal methods to improve SPIRV, the industry-standard language for GPU computing. One major focus was on structured control flow: we built a formal model... |
January 2025 | |
| Fri 31 Jan 2025 15:00 - 17:00 | Theory talks Centre for Fundamentals of AI and Computational Theory Speaker: Fredrik Dahlqvist Title: On the semantics of conditional branching. Abstract: Motivated by the non-standard interpretation of if-then-else statements in probabilistic programs we examine different semantics for conditional branching.... |
| Tue 14 Jan 2025 13:30 - 19:00 |  UNESCO World Logic Day Centre for Fundamentals of AI and Computational Theory The School of Electronic Engineering and Computer Science at Queen Mary University of London will celebrate the UNESCO World Logic Day with a number of academic institutions from all around the world. We will organise a series of in-person talks explaining how logic and logical methods are exploited in current research. The event will consist of live talks in Peston Lecture Theatre located in QMUL's Graduate Centre. The talks will be aimed at students, researchers, and the wider public.... |