Past Events
May 2025 | |
| Fri 9 May 2025 15:00 - 17:00 | Seminar: Theory talks: Type Systems for Numerical Error Analysis Centre for Fundamental Computer Science 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 Fundamental Computer Science "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 Fundamental Computer Science 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 Fundamental Computer Science 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 Fundamental Computer Science 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 Fundamental Computer Science 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 Fundamental Computer Science 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.... |