Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers (IF 4.31/4.33, from Dec 08, 2017 04:00 PM to Dec 08, 2017 05:00 PM)
 
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency (IF 4.31/4.33, from Dec 05, 2017 04:00 PM to Dec 05, 2017 05:00 PM)
 
Event Title: The 2017 ICFP programming contest (Mini Forum 2 (MF2) Level 4, from Dec 05, 2017 01:00 PM to Dec 05, 2017 02:00 PM)
Speaker: Dr Sam Lindley
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects (IF 4.31/4.33, from Nov 28, 2017 04:00 PM to Nov 28, 2017 05:00 PM)
 
Event Title: Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers (from Nov 28, 2017 01:00 PM to Nov 28, 2017 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem (IF 4.31/4.33, from Nov 21, 2017 04:00 PM to Nov 21, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation (IF 4.31/4.33, from Nov 21, 2017 02:30 PM to Nov 21, 2017 03:30 PM)
 
Event Title: Verifying safety and persistence properties of hybrid systems (Mini Forum 2 (MF2) Level 4, from Nov 21, 2017 01:00 PM to Nov 21, 2017 02:00 PM)
Speaker: Paul Jackson
Event LFCS/CISA seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect (IF 4.31/4.33, from Nov 14, 2017 04:00 PM to Nov 14, 2017 05:00 PM)
 
Event Title: How much logic should a first-year student learn? (Mini Forum 2 (MF2) Level 4, from Nov 14, 2017 01:00 PM to Nov 14, 2017 02:00 PM)
Speaker: Don Sannella
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? (IF 4.31/4.33, from Nov 07, 2017 04:00 PM to Nov 07, 2017 05:00 PM)
 
Event Title: Cyber Security in the Quantum Era (Mini Forum 2 (MF2) Level 4, from Nov 07, 2017 01:00 PM to Nov 07, 2017 02:00 PM)
Speaker: Petros Wallden
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models (IF 4.31/4.33, from Oct 31, 2017 04:00 PM to Oct 31, 2017 05:00 PM)
 
Event Title: Constant-Delay Traversal of Grammar-Compressed Graphs (from Oct 31, 2017 01:00 PM to Oct 31, 2017 02:00 PM)
Speaker: Fabian Peternek
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter (G.07, from Oct 26, 2017 04:00 PM to Oct 26, 2017 05:00 PM)
 
Event Title: Covert timing channels in cloud: a mathematical analysis (from Oct 24, 2017 01:00 PM to Oct 24, 2017 02:00 PM)
Speaker: Wei Chen
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic (IF 4.31/4.33, from Oct 23, 2017 02:00 PM to Oct 23, 2017 03:00 PM)
 
Event Title: Computability in real and complex analysis: some recent progress (Lab Lunch, from Oct 17, 2017 01:00 PM to Oct 17, 2017 02:00 PM)
Speaker: John Longley
Event LFCS seminar: Amal Ahmed: Compositional compiler verification for a multi-language world (IF 4.31/4.33, from Oct 10, 2017 04:00 PM to Oct 10, 2017 05:00 PM)
 
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents (IF 4.31/4.33, from Oct 03, 2017 04:00 PM to Oct 03, 2017 05:00 PM)
 

Also in this section

Event LFCS seminar: Maciej Piróg: Handle with care: relational interpretation of algebraic effects and handlers (IF 4.31/4.33, from Dec 08, 2017 04:00 PM to Dec 08, 2017 05:00 PM)
 
Event LFCS seminar: Chung-Kil Hur: A promising semantics for relaxed-memory concurrency (IF 4.31/4.33, from Dec 05, 2017 04:00 PM to Dec 05, 2017 05:00 PM)
 
Event Title: The 2017 ICFP programming contest (Mini Forum 2 (MF2) Level 4, from Dec 05, 2017 01:00 PM to Dec 05, 2017 02:00 PM)
Speaker: Dr Sam Lindley
Event LFCS seminar: Danel Ahman: A fibrational view on computational effects (IF 4.31/4.33, from Nov 28, 2017 04:00 PM to Nov 28, 2017 05:00 PM)
 
Event Title: Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers (from Nov 28, 2017 01:00 PM to Nov 28, 2017 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Noam Zeilberger: Lambda calculus and the four colour theorem (IF 4.31/4.33, from Nov 21, 2017 04:00 PM to Nov 21, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Alice Miller: Probabilistic model checking for UAV controller generation (IF 4.31/4.33, from Nov 21, 2017 02:30 PM to Nov 21, 2017 03:30 PM)
 
Event Title: Verifying safety and persistence properties of hybrid systems (Mini Forum 2 (MF2) Level 4, from Nov 21, 2017 01:00 PM to Nov 21, 2017 02:00 PM)
Speaker: Paul Jackson
Event LFCS/CISA seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect (IF 4.31/4.33, from Nov 14, 2017 04:00 PM to Nov 14, 2017 05:00 PM)
 
Event Title: How much logic should a first-year student learn? (Mini Forum 2 (MF2) Level 4, from Nov 14, 2017 01:00 PM to Nov 14, 2017 02:00 PM)
Speaker: Don Sannella
Event LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? (IF 4.31/4.33, from Nov 07, 2017 04:00 PM to Nov 07, 2017 05:00 PM)
 
Event Title: Cyber Security in the Quantum Era (Mini Forum 2 (MF2) Level 4, from Nov 07, 2017 01:00 PM to Nov 07, 2017 02:00 PM)
Speaker: Petros Wallden
Event LFCS seminar: Vaishak Belle: First-order probabilistic relational models (IF 4.31/4.33, from Oct 31, 2017 04:00 PM to Oct 31, 2017 05:00 PM)
 
Event Title: Constant-Delay Traversal of Grammar-Compressed Graphs (from Oct 31, 2017 01:00 PM to Oct 31, 2017 02:00 PM)
Speaker: Fabian Peternek
Event LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter (G.07, from Oct 26, 2017 04:00 PM to Oct 26, 2017 05:00 PM)
 
Event Title: Covert timing channels in cloud: a mathematical analysis (from Oct 24, 2017 01:00 PM to Oct 24, 2017 02:00 PM)
Speaker: Wei Chen
Event LFCS seminar: Razvan Stanica: Spatio-temporal classification of mobile network traffic (IF 4.31/4.33, from Oct 23, 2017 02:00 PM to Oct 23, 2017 03:00 PM)
 
Event Title: Computability in real and complex analysis: some recent progress (Lab Lunch, from Oct 17, 2017 01:00 PM to Oct 17, 2017 02:00 PM)
Speaker: John Longley
Event LFCS seminar: Amal Ahmed: Compositional compiler verification for a multi-language world (IF 4.31/4.33, from Oct 10, 2017 04:00 PM to Oct 10, 2017 05:00 PM)
 
Event LFCS seminar: Kitty Meeks: Solving hard stable matching problems involving groups of similar agents (IF 4.31/4.33, from Oct 03, 2017 04:00 PM to Oct 03, 2017 05:00 PM)
 
Document Actions