Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

LFCS Seminar: Sam Staton

Instances of computational effects -- an algebraic perspective

Read More…

LFCS Seminar: Randy Pollack

Viewing Lambda Terms Through Maps

Read More…

LFCS Seminar: Julian Gutierrez

Determinacy for concurrent games on event structures

Read More…

Lab Lunch with Daniel Franzen

Daniel Franzen will be our speaker. Biscuits will be provided as usual.

Read More…

Lab Lunch talk by Brian Campbell

Trip report: Certified Programs and Proofs 2012

Read More…

Lab Lunch by Martin Hofmann

Abstract effects and proof-relevant logical relations (a high-level overview)

Read More…

Lab Lunch by Ian Stark

Succession Planning for Informatics Head of School

Read More…

Lab Lunch talk by Wenyuan Yu

Incremental Detection of Inconsistencies in Distributed Data

Read More…

LFCS Seminar: Valentine Kabanets

Lower bounds against weakly uniform circuits

Read More…

Lab Lunch by Daniƫl Reijsbergen

Recomputability of scientific experiments

Read More…

Lab Lunch by Alex Simpson

Fuzzy logic for parallel probabilistic systems

Read More…

FLoC 2010 (Federated Logic Conference)

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.

Read More…

LFCS Seminar: Alberto Policriti

The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory

Read More…

Lab Lunch talk by Ilias Garnier

Application of space-partitioning techniques to ray-tracing.

Read More…

Document Actions