Personal tools
You are here: Home Events Previous

Previous

Past events

Event New results in approximate counting: Matroid bases and other problems (MF2, Level 4, from Feb 12, 2019 01:00 PM to Feb 12, 2019 02:00 PM)
Speaker: Mary Cryan
Event LFCS seminar: Artur Czumaj: Round Compression for Parallel Matching Algorithms (IF 4.31/4.33, from Feb 05, 2019 04:00 PM to Feb 05, 2019 05:00 PM)
 
Event Lean - a new interactive theorem proving system (MF2, Level 4, from Feb 05, 2019 01:00 PM to Feb 05, 2019 02:00 PM)
Speaker: Paul Jackson
Event Title: Counting triangles under updates in worst-case optimal time (MF2, Level 4, from Jan 29, 2019 01:00 PM to Jan 29, 2019 02:00 PM)
Speaker: Milos Nikolic
Event Reasoning under uncertainty when it really matters (from Jan 22, 2019 01:00 PM to Jan 22, 2019 02:00 PM)
Speaker: Kyriakos Kalorkoti
Event Computation & Logic: How should we introduce our undergraduates to the foundations of informatics? (from Jan 15, 2019 01:00 PM to Jan 15, 2019 02:00 PM)
Speaker: Michael Fourman
Event Title: Parallel Query Processing with Bounded Communication for SQL-over-NoSQL systems (MF2, Level 4, from Dec 18, 2018 01:00 PM to Dec 18, 2018 02:00 PM)
Speaker: Yang Cao
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

Also in this section

Event New results in approximate counting: Matroid bases and other problems (MF2, Level 4, from Feb 12, 2019 01:00 PM to Feb 12, 2019 02:00 PM)
Speaker: Mary Cryan
Event LFCS seminar: Artur Czumaj: Round Compression for Parallel Matching Algorithms (IF 4.31/4.33, from Feb 05, 2019 04:00 PM to Feb 05, 2019 05:00 PM)
 
Event Lean - a new interactive theorem proving system (MF2, Level 4, from Feb 05, 2019 01:00 PM to Feb 05, 2019 02:00 PM)
Speaker: Paul Jackson
Event Title: Counting triangles under updates in worst-case optimal time (MF2, Level 4, from Jan 29, 2019 01:00 PM to Jan 29, 2019 02:00 PM)
Speaker: Milos Nikolic
Event Reasoning under uncertainty when it really matters (from Jan 22, 2019 01:00 PM to Jan 22, 2019 02:00 PM)
Speaker: Kyriakos Kalorkoti
Event Computation & Logic: How should we introduce our undergraduates to the foundations of informatics? (from Jan 15, 2019 01:00 PM to Jan 15, 2019 02:00 PM)
Speaker: Michael Fourman
Event Title: Parallel Query Processing with Bounded Communication for SQL-over-NoSQL systems (MF2, Level 4, from Dec 18, 2018 01:00 PM to Dec 18, 2018 02:00 PM)
Speaker: Yang Cao
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
Document Actions