Personal tools
You are here: Home Events Previous

Previous

Past events

Event Title: Mobile $r$-gather: Distributed and Geographic Clustering for Location Anonymity (Mini Forum 2 (MF2) Level 4, from Feb 13, 2018 01:00 PM to Feb 13, 2018 02:00 PM)
Speaker: Rik Sarkar
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics (IF 4.31/4.33, from Feb 06, 2018 04:00 PM to Feb 06, 2018 05:00 PM)
 
Event Title: Reachability for Branching Concurrent Stochastic Games (Mini Forum 2 (MF2) Level 4, from Feb 06, 2018 01:00 PM to Feb 06, 2018 02:00 PM)
Speaker: Kousha Etessami
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time (IF 4.31/4.33, from Jan 30, 2018 04:00 PM to Jan 30, 2018 05:00 PM)
 
Event Title: "How standard is the Standard? (Mini Forum 2 (MF2) Level 4, from Jan 30, 2018 01:00 PM to Jan 30, 2018 02:00 PM)
Speaker: Leonid Libkin
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping (IF 4.31/4.33, from Jan 23, 2018 04:00 PM to Jan 23, 2018 05:00 PM)
 
Event Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software) (Mini Forum 2 (MF2) Level 4, from Jan 16, 2018 01:00 PM to Jan 16, 2018 02:00 PM)
Speaker: Vanya Yaneva
Event LFCS seminar: Oliver Bračevac: The marriage of effects and joins (IF 4.31/4.33, from Dec 14, 2017 02:00 PM to Dec 14, 2017 03:00 PM)
 
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

Also in this section

Event Title: Mobile $r$-gather: Distributed and Geographic Clustering for Location Anonymity (Mini Forum 2 (MF2) Level 4, from Feb 13, 2018 01:00 PM to Feb 13, 2018 02:00 PM)
Speaker: Rik Sarkar
Event LFCS seminar: Justin Hsu: From Couplings to Probabilistic Relational Program Logics (IF 4.31/4.33, from Feb 06, 2018 04:00 PM to Feb 06, 2018 05:00 PM)
 
Event Title: Reachability for Branching Concurrent Stochastic Games (Mini Forum 2 (MF2) Level 4, from Feb 06, 2018 01:00 PM to Feb 06, 2018 02:00 PM)
Speaker: Kousha Etessami
Event LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time (IF 4.31/4.33, from Jan 30, 2018 04:00 PM to Jan 30, 2018 05:00 PM)
 
Event Title: "How standard is the Standard? (Mini Forum 2 (MF2) Level 4, from Jan 30, 2018 01:00 PM to Jan 30, 2018 02:00 PM)
Speaker: Leonid Libkin
Event LFCS seminar: Tom Schrijvers: Explicit effect subtyping (IF 4.31/4.33, from Jan 23, 2018 04:00 PM to Jan 23, 2018 05:00 PM)
 
Event Title: Compiler-Assisted Test Acceleration on GPUs (for Embedded Software) (Mini Forum 2 (MF2) Level 4, from Jan 16, 2018 01:00 PM to Jan 16, 2018 02:00 PM)
Speaker: Vanya Yaneva
Event LFCS seminar: Oliver Bračevac: The marriage of effects and joins (IF 4.31/4.33, from Dec 14, 2017 02:00 PM to Dec 14, 2017 03:00 PM)
 
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
Document Actions