Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch by Julian Bradfield (MF2, from Nov 26, 2013 01:00 PM to Nov 26, 2013 02:00 PM)
Theory teaching in third year.
Event DB Seminar by Egor Kostylev on "Querying Description Logics" (Room 4.02, from Nov 20, 2013 12:00 PM to Nov 20, 2013 01:00 PM)
 
Event Lab Lunch by Michael Fourman (MF2, from Nov 19, 2013 01:00 PM to Nov 19, 2013 02:00 PM)
Should digital inclusion be a right?
Event DB Seminar by Domagoj Vrgoč on "Graph Databases: Models and Queries" (from Nov 13, 2013 12:30 PM to Nov 13, 2013 01:30 PM)
 
Event Lab Lunch by Martin Hofmann (MF2, from Nov 12, 2013 01:00 PM to Nov 12, 2013 02:00 PM)
Abstract effects and proof-relevant logical relations (a high-level overview)
Event Lab Lunch by Alistair Stewart (G03, from Nov 05, 2013 01:00 PM to Nov 05, 2013 02:00 PM)
Branching Markov Decision Processes and Newton's method
Event Lab Lunch by Patrick Totzke ( MF2, from Oct 22, 2013 01:00 PM to Oct 22, 2013 02:00 PM)
Hack your inbox: building alot for notmuch
Event Lab Lunch by Colin Stirling (MF2, from Oct 15, 2013 01:00 PM to Oct 15, 2013 02:00 PM)
From model checking and equivalence checking to type checking
Event Lab Lunch by Vincent Danos (MF2, from Oct 08, 2013 01:00 PM to Oct 08, 2013 02:00 PM)
Thermodynamic graph-rewriting
Event Lab Lunch by John Wilson-Kanamori (MF2, from Oct 01, 2013 01:00 PM to Oct 01, 2013 01:00 PM)
From writing fiction to writing papers: a personal tale
Event Lab Lunch by Richard Mayr (MF2, from Sep 24, 2013 01:00 PM to Sep 24, 2013 02:00 PM)
Playing Energy Games or What is it like to ski in the southern hemisphere?
Event Lab Lunch by Ian Stark (MF2, from Sep 17, 2013 01:00 PM to Sep 17, 2013 02:00 PM)
Succession Planning for Informatics Head of School
Event Lab Lunch by Domagoj Vrgoc (MF2, from Sep 10, 2013 01:00 PM to Sep 10, 2013 02:00 PM)
Containment of negative upward-downward fragments of conjunctive positive XPath with reverse axes
Event Lab Lunch by Jiansen He (MF2, from Sep 03, 2013 01:00 PM to Sep 03, 2013 02:00 PM)
Having Cloud in Hand: Google vs Amazon
Event Lab Lunch by Ezra Cooper (2.33, from Aug 20, 2013 01:00 PM to Aug 20, 2013 02:00 PM)
The Timeless Way of Building
Event LFCS Seminar: Benoit Valiron (from Jul 23, 2013 04:00 PM to Jul 23, 2013 05:00 PM)
Quipper: A Scalable Quantum Programming Language.
Event LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Fritz Henglein (IF 4.31-33, from Jun 27, 2013 04:00 PM to Jun 27, 2013 05:00 PM)
Towards generic distributive sorting and searching
Event LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Pawel Sobocinski (IF 4.31-33, from May 31, 2013 03:10 PM to May 31, 2013 04:10 PM)
Algebras of Petri Nets

Also in this section

Event Lab Lunch by Julian Bradfield (MF2, from Nov 26, 2013 01:00 PM to Nov 26, 2013 02:00 PM)
Theory teaching in third year.
Event DB Seminar by Egor Kostylev on "Querying Description Logics" (Room 4.02, from Nov 20, 2013 12:00 PM to Nov 20, 2013 01:00 PM)
 
Event Lab Lunch by Michael Fourman (MF2, from Nov 19, 2013 01:00 PM to Nov 19, 2013 02:00 PM)
Should digital inclusion be a right?
Event DB Seminar by Domagoj Vrgoč on "Graph Databases: Models and Queries" (from Nov 13, 2013 12:30 PM to Nov 13, 2013 01:30 PM)
 
Event Lab Lunch by Martin Hofmann (MF2, from Nov 12, 2013 01:00 PM to Nov 12, 2013 02:00 PM)
Abstract effects and proof-relevant logical relations (a high-level overview)
Event Lab Lunch by Alistair Stewart (G03, from Nov 05, 2013 01:00 PM to Nov 05, 2013 02:00 PM)
Branching Markov Decision Processes and Newton's method
Event Lab Lunch by Patrick Totzke ( MF2, from Oct 22, 2013 01:00 PM to Oct 22, 2013 02:00 PM)
Hack your inbox: building alot for notmuch
Event Lab Lunch by Colin Stirling (MF2, from Oct 15, 2013 01:00 PM to Oct 15, 2013 02:00 PM)
From model checking and equivalence checking to type checking
Event Lab Lunch by Vincent Danos (MF2, from Oct 08, 2013 01:00 PM to Oct 08, 2013 02:00 PM)
Thermodynamic graph-rewriting
Event Lab Lunch by John Wilson-Kanamori (MF2, from Oct 01, 2013 01:00 PM to Oct 01, 2013 01:00 PM)
From writing fiction to writing papers: a personal tale
Event Lab Lunch by Richard Mayr (MF2, from Sep 24, 2013 01:00 PM to Sep 24, 2013 02:00 PM)
Playing Energy Games or What is it like to ski in the southern hemisphere?
Event Lab Lunch by Ian Stark (MF2, from Sep 17, 2013 01:00 PM to Sep 17, 2013 02:00 PM)
Succession Planning for Informatics Head of School
Event Lab Lunch by Domagoj Vrgoc (MF2, from Sep 10, 2013 01:00 PM to Sep 10, 2013 02:00 PM)
Containment of negative upward-downward fragments of conjunctive positive XPath with reverse axes
Event Lab Lunch by Jiansen He (MF2, from Sep 03, 2013 01:00 PM to Sep 03, 2013 02:00 PM)
Having Cloud in Hand: Google vs Amazon
Event Lab Lunch by Ezra Cooper (2.33, from Aug 20, 2013 01:00 PM to Aug 20, 2013 02:00 PM)
The Timeless Way of Building
Event LFCS Seminar: Benoit Valiron (from Jul 23, 2013 04:00 PM to Jul 23, 2013 05:00 PM)
Quipper: A Scalable Quantum Programming Language.
Event LFCS Seminar: Mihalis Yannakakis (from Jul 16, 2013 04:00 PM to Jul 16, 2013 05:00 PM)
The Complexity of Non-Monotone Markets
Event LFCS Seminar: Fritz Henglein (IF 4.31-33, from Jun 27, 2013 04:00 PM to Jun 27, 2013 05:00 PM)
Towards generic distributive sorting and searching
Event LFCS Seminar: Danel Ahman (from Jun 11, 2013 04:00 PM to Jun 11, 2013 05:00 PM)
Normalization by evaluation and algebraic effects
Event LFCS Seminar: Pawel Sobocinski (IF 4.31-33, from May 31, 2013 03:10 PM to May 31, 2013 04:10 PM)
Algebras of Petri Nets
Document Actions