Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Éric Tanter: Gradual Parametricity, Revisited (IF 4.31/4.33, from Dec 13, 2018 03:00 PM to Dec 13, 2018 04:00 PM)
 
Event LFCS seminar: Jennifer Hackett: How to Replace Sharing with Fortune-Telling (MF2, from Dec 12, 2018 04:00 PM to Dec 12, 2018 05:00 PM)
 
Event LFCS seminar: László Végh: Strongly polynomial algorithms for market equilibrium computation (IF 4.31/4.33, from Dec 04, 2018 04:00 PM to Dec 04, 2018 05:00 PM)
 
Event Making Mix Networking Work (MF2 Level 4, from Dec 04, 2018 01:00 PM to Dec 04, 2018 02:00 PM)
In this talk I will explain what mix networking is, how it is different from the other contemporary solutions, and our recent contributions (through a system called Loopix) to making it practical.
Event Foundational Anomaly Detection (MF2, Level 4, from Nov 27, 2018 01:00 PM to Nov 27, 2018 02:00 PM)
Speaker: James Cheney
Event LFCS seminar: David Tse and Pramod Viswanath (IF 4.31/4.33, from Nov 20, 2018 04:00 PM to Nov 20, 2018 05:00 PM)
 
Event Memory in Strategies: What is it used for? (MF2, Level 4, from Nov 20, 2018 01:00 PM to Nov 20, 2018 02:00 PM)
Speaker: Richard Mayr
Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization (from Nov 16, 2018 02:00 PM to Nov 16, 2018 03:00 PM)
 
Event LFCS seminar: Robin Cockett: Abstract computability: unifying complexity and computability (IF 4.31/4.33, from Nov 13, 2018 04:00 PM to Nov 13, 2018 05:00 PM)
 
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025 (IF 4.31/4.33, from Nov 12, 2018 02:00 PM to Nov 12, 2018 03:00 PM)
 
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary (MF2, from Nov 07, 2018 02:00 PM to Nov 07, 2018 03:00 PM)
 
Event Title: CARMA Networking (MF2, Level 4, from Oct 30, 2018 01:00 PM to Oct 30, 2018 02:00 PM)
Speaker: Vashti Galpin
Event Teaching theoretical computer science: a personal experience (MF2, Level 4, from Oct 16, 2018 01:00 PM to Oct 16, 2018 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs (from Oct 09, 2018 04:00 PM to Oct 09, 2018 05:00 PM)
 
Event Programming Language Foundations in Agda (MF2, Level 4, from Oct 09, 2018 01:00 PM to Oct 09, 2018 02:00 PM)
Speaker: Phil Wadler
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience (MF2, from Oct 05, 2018 02:00 PM to Oct 05, 2018 03:00 PM)
 
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation (MF2, from Oct 05, 2018 10:00 AM to Oct 05, 2018 11:00 AM)
 
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings (IF 4.31/4.33, from Sep 25, 2018 04:00 PM to Sep 25, 2018 05:00 PM)
 
Event Title: The Bayes Centre - All questions answered (Mini Forum 2 (MF2) Level 4, from Sep 25, 2018 01:00 PM to Sep 25, 2018 02:00 PM)
Speaker: Michael Rovatsos
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation (IF 4.31/4.33, from Sep 18, 2018 02:00 PM to Sep 18, 2018 03:00 PM)
 

Also in this section

Event LFCS seminar: Éric Tanter: Gradual Parametricity, Revisited (IF 4.31/4.33, from Dec 13, 2018 03:00 PM to Dec 13, 2018 04:00 PM)
 
Event LFCS seminar: Jennifer Hackett: How to Replace Sharing with Fortune-Telling (MF2, from Dec 12, 2018 04:00 PM to Dec 12, 2018 05:00 PM)
 
Event LFCS seminar: László Végh: Strongly polynomial algorithms for market equilibrium computation (IF 4.31/4.33, from Dec 04, 2018 04:00 PM to Dec 04, 2018 05:00 PM)
 
Event Making Mix Networking Work (MF2 Level 4, from Dec 04, 2018 01:00 PM to Dec 04, 2018 02:00 PM)
In this talk I will explain what mix networking is, how it is different from the other contemporary solutions, and our recent contributions (through a system called Loopix) to making it practical.
Event Foundational Anomaly Detection (MF2, Level 4, from Nov 27, 2018 01:00 PM to Nov 27, 2018 02:00 PM)
Speaker: James Cheney
Event LFCS seminar: David Tse and Pramod Viswanath (IF 4.31/4.33, from Nov 20, 2018 04:00 PM to Nov 20, 2018 05:00 PM)
 
Event Memory in Strategies: What is it used for? (MF2, Level 4, from Nov 20, 2018 01:00 PM to Nov 20, 2018 02:00 PM)
Speaker: Richard Mayr
Event LFCS seminar: Healfdene Goguen: Concurrency and Compositional Synchronization (from Nov 16, 2018 02:00 PM to Nov 16, 2018 03:00 PM)
 
Event LFCS seminar: Robin Cockett: Abstract computability: unifying complexity and computability (IF 4.31/4.33, from Nov 13, 2018 04:00 PM to Nov 13, 2018 05:00 PM)
 
Event LFCS seminar: Carl Hewitt: Scalable Intelligent Systems by 2025 (IF 4.31/4.33, from Nov 12, 2018 02:00 PM to Nov 12, 2018 03:00 PM)
 
Event LFCS seminar: Ranko Lazic: The Reachability Problem for Petri Nets is Not Elementary (MF2, from Nov 07, 2018 02:00 PM to Nov 07, 2018 03:00 PM)
 
Event Title: CARMA Networking (MF2, Level 4, from Oct 30, 2018 01:00 PM to Oct 30, 2018 02:00 PM)
Speaker: Vashti Galpin
Event Teaching theoretical computer science: a personal experience (MF2, Level 4, from Oct 16, 2018 01:00 PM to Oct 16, 2018 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs (from Oct 09, 2018 04:00 PM to Oct 09, 2018 05:00 PM)
 
Event Programming Language Foundations in Agda (MF2, Level 4, from Oct 09, 2018 01:00 PM to Oct 09, 2018 02:00 PM)
Speaker: Phil Wadler
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience (MF2, from Oct 05, 2018 02:00 PM to Oct 05, 2018 03:00 PM)
 
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation (MF2, from Oct 05, 2018 10:00 AM to Oct 05, 2018 11:00 AM)
 
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings (IF 4.31/4.33, from Sep 25, 2018 04:00 PM to Sep 25, 2018 05:00 PM)
 
Event Title: The Bayes Centre - All questions answered (Mini Forum 2 (MF2) Level 4, from Sep 25, 2018 01:00 PM to Sep 25, 2018 02:00 PM)
Speaker: Michael Rovatsos
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation (IF 4.31/4.33, from Sep 18, 2018 02:00 PM to Sep 18, 2018 03:00 PM)
 
Document Actions