Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Torsten Grust: Processing Data in its Own Habitat (IF 4.31/4.33, from Apr 11, 2019 11:00 AM to Apr 11, 2019 12:00 PM)
 
Event Lab Lunch talk: Equivalence of pushdown automata (MF2, Level 4, from Apr 09, 2019 01:00 PM to Apr 09, 2019 02:00 PM)
Speaker: Colin Stirling
Event Lab Lunch Talk: Administrative support service & process: improvement plan (from Mar 26, 2019 01:00 PM to Mar 26, 2019 02:00 PM)
Speaker: Evgenia Teplechuk
Event Lab Lunch Talks: Administrative support service & process: improvement plan (from Mar 26, 2019 01:00 PM to Mar 26, 2019 02:00 PM)
Speaker: Evgenia Teplechuk
Event Lab Lunch Talk: Symmetric-key Cryptography and the Properties of Modular Addition (MF2, Level 4, from Mar 19, 2019 01:00 PM to Mar 19, 2019 02:00 PM)
Speaker: Vesselin Velichkov
Event LFCS seminar: Ohad Kammar: A domain theory for statistical probabilistic programming. (IF 4.31/4.33, from Mar 12, 2019 04:00 PM to Mar 12, 2019 05:00 PM)
 
Event Lab Lunch Talks: Three open problems concerning querying data (MF2, Level 4, from Mar 12, 2019 01:00 PM to Mar 12, 2019 02:00 PM)
Speaker: Andreas Pieris
Event LFCS seminar: Pan Peng: Graph Property Testing and Random Order Streams (IF 4.31/4.33, from Mar 05, 2019 04:00 PM to Mar 05, 2019 05:00 PM)
 
Event Lab Lunch Talk: URLs and Phishing (MF2, Level 4, from Mar 05, 2019 01:00 PM to Mar 05, 2019 01:00 PM)
Speaker: Kami Vaniea
Event Lab Lunch Talk: Adaptive Parallelization of Sequential Graph Algorithms (MF2, Level 4, from Feb 26, 2019 01:00 PM to Feb 26, 2019 02:00 PM)
Speaker: Wenfei Fan
Event Lab Lunch Talk: 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 Lab Lunch Talk: Lean - a new interactive theorem proving systemLab Lunch Talk (MF2, Level 4, from Feb 05, 2019 01:00 PM to Feb 05, 2019 02:00 PM)
Speaker: Paul Jackson
Event Lab Lunch Talk: 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 Lab Lunch Talk: 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 Lab Lunch Talk: 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)
 

Also in this section

Event LFCS seminar: Torsten Grust: Processing Data in its Own Habitat (IF 4.31/4.33, from Apr 11, 2019 11:00 AM to Apr 11, 2019 12:00 PM)
 
Event Lab Lunch talk: Equivalence of pushdown automata (MF2, Level 4, from Apr 09, 2019 01:00 PM to Apr 09, 2019 02:00 PM)
Speaker: Colin Stirling
Event Lab Lunch Talk: Administrative support service & process: improvement plan (from Mar 26, 2019 01:00 PM to Mar 26, 2019 02:00 PM)
Speaker: Evgenia Teplechuk
Event Lab Lunch Talks: Administrative support service & process: improvement plan (from Mar 26, 2019 01:00 PM to Mar 26, 2019 02:00 PM)
Speaker: Evgenia Teplechuk
Event Lab Lunch Talk: Symmetric-key Cryptography and the Properties of Modular Addition (MF2, Level 4, from Mar 19, 2019 01:00 PM to Mar 19, 2019 02:00 PM)
Speaker: Vesselin Velichkov
Event LFCS seminar: Ohad Kammar: A domain theory for statistical probabilistic programming. (IF 4.31/4.33, from Mar 12, 2019 04:00 PM to Mar 12, 2019 05:00 PM)
 
Event Lab Lunch Talks: Three open problems concerning querying data (MF2, Level 4, from Mar 12, 2019 01:00 PM to Mar 12, 2019 02:00 PM)
Speaker: Andreas Pieris
Event LFCS seminar: Pan Peng: Graph Property Testing and Random Order Streams (IF 4.31/4.33, from Mar 05, 2019 04:00 PM to Mar 05, 2019 05:00 PM)
 
Event Lab Lunch Talk: URLs and Phishing (MF2, Level 4, from Mar 05, 2019 01:00 PM to Mar 05, 2019 01:00 PM)
Speaker: Kami Vaniea
Event Lab Lunch Talk: Adaptive Parallelization of Sequential Graph Algorithms (MF2, Level 4, from Feb 26, 2019 01:00 PM to Feb 26, 2019 02:00 PM)
Speaker: Wenfei Fan
Event Lab Lunch Talk: 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 Lab Lunch Talk: Lean - a new interactive theorem proving systemLab Lunch Talk (MF2, Level 4, from Feb 05, 2019 01:00 PM to Feb 05, 2019 02:00 PM)
Speaker: Paul Jackson
Event Lab Lunch Talk: 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 Lab Lunch Talk: 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 Lab Lunch Talk: 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)
 
Document Actions