Past Events
December 2024 | |
Fri 13 Dec 2024 | Theory talks Centre for Fundamental Computer Science A sequence of introductory talks: Our last meeting for this term will be next Friday, December 13th, 3-5 room 4.24. Continuing the discussion about Theory and machine learning, Soren Riis will talk about his paper "Mastering NIM and... |
November 2024 | |
Fri 29 Nov 2024 | Seminar: Theory talks Centre for Fundamental Computer Science A sequence of introductory talks: For this meeting we will have a theme: Interaction between ML, LLMs and Theory. The idea is to have a discussion about what is happening in AI, machine learning, large language models and what opportunities... |
Fri 15 Nov 2024 15:00 - 17:00 | Theory talks Centre for Fundamental Computer Science A sequence of introductory talks: Optimus orator Paulo Oliva volunteered to give a talk about: ""computational interpretations of non-constructive (classical) reasoning (logic)" - how backtracking, learning, or call-cc has been used to assign... |
Fri 1 Nov 2024 15:00 - 17:00 | Seminar: Theory talks Centre for Fundamental Computer Science A sequence of introductory talks: Soren Riis: "Deduction-Preserving Recursive Isomorphisms Between Theories: A Hidden Gem from Pour-El & Kripke (1966)" In a short four-page paper from 1966, Pour-El and Kripke published a striking yet... |
October 2024 | |
Fri 18 Oct 2024 15:00 - 17:00 | Seminar: Theory Talks Centre for Fundamental Computer Science A sequence of introductory talks Marc Roth will give a talk as described below: I will give a brief introduction to the space of graph motif parameters, a vector space of counting problems (such as counting k-cliques in an n-vertex graph) that... |
Fri 4 Oct 2024 15:00 - 17:00 | Seminar: Theory Talks Centre for Fundamental Computer Science A sequence of introductory talks Paulo Oliva: a short talk on extracting convergence rate from fixpoints' proofs. Fredrik Dahlqvist: a short talk on the area of probabilistic programming and problems in the area. Przemyslaw Walega: a short... |
June 2024 | |
Wed 12 Jun 2024 15:00 - 17:00 | ![]() Faculty of Science and Engineering Prof Andy Bushby (Founder and CTO of Ultima Forma) will present the story behind the founding of Ultima Forma, a disruptive materials engineering company. Join us for networking afterwards, refreshments will be provided. Please complete the registraton form via the link below. |
May 2024 | |
Wed 8 May 2024 10:00 - 16:00 | ![]() Centre for Experimental and Applied Physics We are pleased to announce our first annual Quantum Day. This event will celebrate all quantum-related activities at Queen Mary and will be a great way to meet others in the broader quantum community. 10:00 10:10 Opening 10:10 10:40 Theory 10:10 10:25 Ginestra Bianco – Perspectives on Complex Quantum Networks 10:25 10:40 Owen Benton – Searching for Quantum Spin Liquids 10:45 11:15 Materials and devices 10:45 11:00 James Thomas – Molecular quantum materials and devices 11:00 11:15... |
February 2024 | |
Thu 29 Feb 2024 | ![]() Faculty of Science and Engineering This is an exclusive VIP reception showcasing our world-leading science and engineering and how diversity and social mobility are at the heart of Queen Mary's values and key to our success. The evening will introduce Dr Karen Salt from UK Research and Innovation along with two of our amazing alumni, a polar explorer and a leading industrialist, and one of our top professors whose research has transformed the treatment of hundreds of thousands of patients and has even been featured on a royal... |