Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch by Alex Simpson (MF2, from Jan 28, 2014 01:00 PM to Jan 28, 2014 02:00 PM)
Fuzzy logic for parallel probabilistic systems
Event Lab Lunch by Stuart Anderson (MF2, from Jan 21, 2014 01:00 PM to Jan 21, 2014 02:00 PM)
Balancing foundational and translational research in School of Informatics
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language (IF 4.31-4.33, from Jan 15, 2014 04:00 PM to Jan 15, 2014 05:00 PM)
LFCS seminar by Andy Gordon
Event Lab Lunch by James Cheney (MF2, from Jan 14, 2014 01:00 PM to Jan 14, 2014 02:00 PM)
Inside the sausage factory, or: what it's like to be on a standards committee
Event Course on Dependently typed metaprogramming (in Agda) by Conor McBride (4.12, Appleton Tower and 2.33, Informatics Forum, from Nov 14, 2013 12:00 AM to Dec 19, 2013 12:00 AM)
 
Event DB Seminar: James Cheney on Nominal Computation Theory (4.31 / 4.33, from Dec 11, 2013 12:30 PM to Dec 11, 2013 01:45 PM)
 
Event Lab Lunch by Stephen Gilmore (MF2, from Dec 10, 2013 01:00 PM to Dec 10, 2013 02:00 PM)
Model-checking Edinburgh Buses
Event Model-checking of Ordered Multi-pushdown Automata (IF 4.31-4.33, from Nov 27, 2013 04:30 PM to Nov 27, 2013 05:30 PM)
Title: Model-checking of Ordered Multi-pushdown Automata Speaker: Mohamed Faouzi Atig, University of Uppsala (Sweden) Venue: IF 4.31-4.33. Wednesday, November 27, 4:30 pm.
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

Also in this section

Event Lab Lunch by Alex Simpson (MF2, from Jan 28, 2014 01:00 PM to Jan 28, 2014 02:00 PM)
Fuzzy logic for parallel probabilistic systems
Event Lab Lunch by Stuart Anderson (MF2, from Jan 21, 2014 01:00 PM to Jan 21, 2014 02:00 PM)
Balancing foundational and translational research in School of Informatics
Event LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language (IF 4.31-4.33, from Jan 15, 2014 04:00 PM to Jan 15, 2014 05:00 PM)
LFCS seminar by Andy Gordon
Event Lab Lunch by James Cheney (MF2, from Jan 14, 2014 01:00 PM to Jan 14, 2014 02:00 PM)
Inside the sausage factory, or: what it's like to be on a standards committee
Event Course on Dependently typed metaprogramming (in Agda) by Conor McBride (4.12, Appleton Tower and 2.33, Informatics Forum, from Nov 14, 2013 12:00 AM to Dec 19, 2013 12:00 AM)
 
Event DB Seminar: James Cheney on Nominal Computation Theory (4.31 / 4.33, from Dec 11, 2013 12:30 PM to Dec 11, 2013 01:45 PM)
 
Event Lab Lunch by Stephen Gilmore (MF2, from Dec 10, 2013 01:00 PM to Dec 10, 2013 02:00 PM)
Model-checking Edinburgh Buses
Event Model-checking of Ordered Multi-pushdown Automata (IF 4.31-4.33, from Nov 27, 2013 04:30 PM to Nov 27, 2013 05:30 PM)
Title: Model-checking of Ordered Multi-pushdown Automata Speaker: Mohamed Faouzi Atig, University of Uppsala (Sweden) Venue: IF 4.31-4.33. Wednesday, November 27, 4:30 pm.
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
Document Actions