This talk is about trying to demystify logical relations, one of the common tools of modern theoretical computer science.
3:30pm - Networking for attendees (refreshments and biscuits)
4:00pm - 5:00pm AGM
5:15pm - Networking for physical/online attendees. Includes refreshments and biscuits for those in person.
6:00pm - Landin Semantics Seminar Talk
7:00pm - Questions and answers
7:15pm - Networking for physical attendees (light refreshments)
8:00pm - Event ends for online attendees
8:30pm - Event ends for in person attendees
This talk is about trying to demystify logical relations, one of the common tools of modern theoretical computer science, by linking them to basic mathematical concepts, to actual logic and to type theory.
We will draw in methods of coalgebraic reasoning and show how they give rise to notions of bisimulation in process algebra.
About the speaker
Edmund Robinson is a Professor of Computer Science at Queen Mary University of London. He came to Queen Mary in 1995 after previously working in Cambridge, Edinburgh, Queen’s University Ontario and Sussex.
As Head of Computer Science, he was responsible for merging Computer Science and Electronic Engineering and became the founding Head of the new School of Electronic Engineering and Computer Science.
This has become one of the major academic powerhouses in the UK, with a strong track record in outreach, and supporting diversity and social mobility as well as research. The Department, and then School, has a strong tradition in work in Theoretical Computer Science, with key work on Separation Logic and Session Types both leading to tools that are now used significantly in practice.
Prof. Robinson’s own work has centred on categorical logic and the semantics of logical theories. He is a former chair of the Council of Professors and Heads of Computing.
Our events are for adults aged 16 years and over.
BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today
For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.
BCS is following government guidelines and we would ask attendees to continue to also follow these guidelines. Please go to https://www.nhs.uk/conditions/coronavirus-covid-19/ for more information, advice, and instructions.
This event is brought to you by: BCS Formal Aspects of Computer Science (FACS) specialist group