Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS seminar by Professor Benjamin Pierce

Micro-Policies: A Framework for Tag-Based Security Monitors

Read More…

LFCS Seminar by Dr. Peter Richtarik

Accelerated, Parallel and Proximal Coordinate Descent

Read More…

Lab Lunch by Wilmer Ricciotti

Wilmer Ricciotti will speak about Formal Language Theory in MF2. Biscuits as usual by Fabian Peternek.

Read More…

Document Actions