Personal tools
You are here: Home Events Past Events

Past Events

List of events which have passed.

Lab Lunch by Michael Fourman

Should digital inclusion be a right?

Read More…

Richard Mayr: Genetic Testing: What can you learn from it?

Genotyping and even full genome sequencing is rapidly becoming more accessible to the general public. This talk gives an overview of the current techniques and their implications, focusing on the following questions. What kinds of people have their genes tested, and for which reasons? How do current genotyping methods work? What can you learn from your test results?

Read More…

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…

Document Actions