Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

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…

Lab Lunch: Dr Brian Campbell

An executable semantics for CompCert

Read More…

Lab Lunch talk by James McKinna

Provisionally entitled: 'provisionality'; cognitive dimensions of programming-as-proof-search

Read More…

Lab Lunch by Colin Stirling

From model checking and equivalence checking to type checking

Read More…

Document Actions