Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

LFCS seminar by Prof. Paul Goldberg (Oxford)

A Random Walk in One-sided Matching Markets

Read More…

LFCS seminar by Prof. Philip Scott (U. Ottawa, Canada)

MV Algebras, Effect Algebras, and Inverse Semigroups

Read More…

LFCS Seminar: Rustan Leino

Building an SMT-based program verifier using Boogie

Read More…

Lab Lunch by Ezra Cooper

The Timeless Way of Building

Read More…

LFCS Away Day 2014

The LFCS Away Day will be an opportunity to spend time away from the Informatics Forum, listening to stimulating talks, taking part in networking and teambuilding activities and contemplating broader issues and research directions. This will be chance to spend one day thinking beyond your current research problem leading to the next publication.

Read More…

Document Actions