Personal tools
You are here: Home Events Previous

Previous

Past events

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
Event LFCS Seminar: Jonathan Hayman (IF 2.33, from May 23, 2013 04:00 PM to May 23, 2013 05:00 PM)
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Elias Koutsoupias (IF 4.31-33, from May 21, 2013 04:00 PM to May 21, 2013 05:00 PM)
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Eugene Asarin (IF 2.33, from May 13, 2013 04:00 PM to May 13, 2013 05:00 PM)
Volume and entropy of regular timed languages
Event LFCS Seminar: James Brotherston (IF 4.02, from May 08, 2013 04:00 PM to May 08, 2013 05:00 PM)
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Gerome Miklau (IF 4.31-33, from May 07, 2013 04:00 PM to May 07, 2013 05:00 PM)
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS/CISA Joint Seminar: Stefan Hetzl (IF 2.33, from May 06, 2013 02:00 PM to May 06, 2013 03:00 PM)
Algorithmic Introduction of Quantified Cuts

Also in this section

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
Event LFCS Seminar: Jonathan Hayman (IF 2.33, from May 23, 2013 04:00 PM to May 23, 2013 05:00 PM)
SPO semantics and filtered compression for Kappa
Event LFCS Seminar: Elias Koutsoupias (IF 4.31-33, from May 21, 2013 04:00 PM to May 21, 2013 05:00 PM)
Near-optimal multi-unit auctions with ordered bidders
Event LFCS Seminar: Eugene Asarin (IF 2.33, from May 13, 2013 04:00 PM to May 13, 2013 05:00 PM)
Volume and entropy of regular timed languages
Event LFCS Seminar: James Brotherston (IF 4.02, from May 08, 2013 04:00 PM to May 08, 2013 05:00 PM)
Cyclic Abduction of Inductive Safety & Termination Preconditions
Event LFCS Seminar: Gerome Miklau (IF 4.31-33, from May 07, 2013 04:00 PM to May 07, 2013 05:00 PM)
Managing Sensitive Personal Data: Protection or Profit?
Event LFCS/CISA Joint Seminar: Stefan Hetzl (IF 2.33, from May 06, 2013 02:00 PM to May 06, 2013 03:00 PM)
Algorithmic Introduction of Quantified Cuts
Document Actions