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:
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.