Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

LFCS Seminar: Marta Kwiatkowska

Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking

Read More…

LFCS Seminar: Jamie Gabbay

Stone duality for first-order logic (a nominal approach)

Read More…

LFCS Seminar: Jean-Eric Pin

Equational descriptions of logic fragments

Read More…

LFCS Seminar: Ross Duncan

The ZX-Calculus: a graphical approach to quantum computing

Read More…

Lab Lunch by Faron Moller

Professor Faron Moller from Swansea University will talk about Technocamps, an outreach programme he runs in Wales.

Read More…

BCTCS 2010

British Colloquium for Theoretical Computer Science

Read More…

Lab Lunch with Stratis Viglas

At this additional Lab lunch Stratis Viglas will chair a discussion of nominations for Milner Lecturers.

Read More…

Lab Lunch by Tomasz Gogacz

Determination of queries by views

Read More…

LFCS seminar by Matthew Anderson On Symmetric Circuits and Fixed-Point Logics

Title: On Symmetric Circuits and Fixed-Point Logics Speaker: Matthew Anderson, Cambridge venue: IF 4.31-4.33, 4:00pm, 11/2/2014

Read More…

Document Actions