Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS Seminar: Christel Baier

Quantitative Analysis of Randomized Systems and Probabilistic Automata

Read More…

LFCS/ICSA Joint Seminar: Laurence Tratt

Experiences of implementing a VM with RPython

Read More…

Lab Lunch by Ilias Diakonikolas

A Complexity-Theoretic View on Unsupervised Learning

Read More…

LFCS seminar by Dr. Justin Ward (Warwick)

Iterative Rounding Algorithms for Stochastic Probing Problems

Read More…

Document Actions