Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

Pizza lunch welcoming new LFCS PhD students

We have nine new PhD students starting at LFCS this year, with an induction day on Friday next week. As part of this we are holding a pizza lunch for everyone in LFCS. Please come along to share lunch and welcome these new members of the lab.

Read More…

PhD lightning talks

Short talks by PhD Students for PhD Students

Read More…

SICSA workshop on Computational Ecology

The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ecological systems using formal modelling techniques from computer science. The workshop should also be of interest to SICSA researchers who are working on formal modelling techniques and might see this as an opportunity to learn more about potential applications in ecology, and colleagues from other disciplines (ecology, mathematical biology or bio-statistics) who might be intrigued to see what formal computational models have to offer.

Read More…

LFCS Seminar: Jonathan Hayman

SPO semantics and filtered compression for Kappa

Read More…

LFCS Seminar: Edwin Brady

Idris: General Purpose Programming with Dependent Types

Read More…

Document Actions