Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event Consensus in the Blockchain Era (Lab Lunch, from Sep 19, 2017 01:00 PM to Sep 19, 2017 02:00 PM)
 
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms (IF 4.31/4.33, from Sep 12, 2017 04:00 PM to Sep 12, 2017 05:00 PM)
 
Event LFCS seminar: Mayank Goswami:Distance sensitive Bloom filters without false negatives (IF 4.31/4.33, from Aug 29, 2017 04:00 PM to Aug 29, 2017 05:00 PM)
 
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack (IF 4.31/4.33, from Aug 22, 2017 04:00 PM to Aug 22, 2017 05:00 PM)
 
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions (IF 4.31/4.33, from Aug 15, 2017 04:00 PM to Aug 15, 2017 05:00 PM)
 
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach (AT 2.12, from Jul 17, 2017 02:00 PM to Jul 17, 2017 03:00 PM)
 
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes (IF 4.31/4.33, from Jul 11, 2017 04:00 PM to Jul 11, 2017 05:00 PM)
 
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types (IF 4.31/4.33, from Jul 04, 2017 03:00 PM to Jul 04, 2017 04:00 PM)
 
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps (Mini Forum 2 (MF2) Level 4, from Jun 20, 2017 01:00 PM to Jun 20, 2017 02:00 PM)
Speaker: Ghita Berrada
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories (IF 4.31/4.33, from Jun 06, 2017 04:00 PM to Jun 06, 2017 05:00 PM)
 
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions (G.07, from Jun 01, 2017 11:00 AM to Jun 01, 2017 12:00 PM)
 
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic (IF 4.31/4.33, from May 30, 2017 04:00 PM to May 30, 2017 05:00 PM)
 
Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games (IF 4.31/4.33, from May 23, 2017 04:00 PM to May 23, 2017 05:00 PM)
 
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time (IF 4.31/4.33, from May 09, 2017 04:00 PM to May 09, 2017 05:00 PM)
 
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits (IF 4.31/4.33, from May 05, 2017 04:00 PM to May 05, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies (IF 4.31/4.33, from Apr 28, 2017 03:00 PM to Apr 28, 2017 04:00 PM)
 
Event Lab Lunch with Steve Renals (MF2, from Apr 18, 2017 01:00 PM to Apr 18, 2017 02:00 PM)
Title: REF-2021

Also in this section

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)
 
Event Consensus in the Blockchain Era (Lab Lunch, from Sep 19, 2017 01:00 PM to Sep 19, 2017 02:00 PM)
 
Event LFCS seminar: Danupon Nanongkai: Challenges in distributed shortest paths algorithms (IF 4.31/4.33, from Sep 12, 2017 04:00 PM to Sep 12, 2017 05:00 PM)
 
Event LFCS seminar: Mayank Goswami:Distance sensitive Bloom filters without false negatives (IF 4.31/4.33, from Aug 29, 2017 04:00 PM to Aug 29, 2017 05:00 PM)
 
Event LFCS seminar: Vivek Nigam: Slow TCAM exhaustion DDoS attack (IF 4.31/4.33, from Aug 22, 2017 04:00 PM to Aug 22, 2017 05:00 PM)
 
Event LFCS seminar: John Power: From finitary monads to Lawvere theories: Cauchy completions (IF 4.31/4.33, from Aug 15, 2017 04:00 PM to Aug 15, 2017 05:00 PM)
 
Event LFCS seminar: Jiawei Han: Mining structures from massive text data: a data-driven approach (AT 2.12, from Jul 17, 2017 02:00 PM to Jul 17, 2017 03:00 PM)
 
Event LFCS seminar: Nicolas Wu: Syntax and handlers for operations with scopes (IF 4.31/4.33, from Jul 11, 2017 04:00 PM to Jul 11, 2017 05:00 PM)
 
Event LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types (IF 4.31/4.33, from Jul 04, 2017 03:00 PM to Jul 04, 2017 04:00 PM)
 
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps (Mini Forum 2 (MF2) Level 4, from Jun 20, 2017 01:00 PM to Jun 20, 2017 02:00 PM)
Speaker: Ghita Berrada
Event LFCS seminar: Dominic Orchard: Fine-grained program reasoning via graded modal type theories (IF 4.31/4.33, from Jun 06, 2017 04:00 PM to Jun 06, 2017 05:00 PM)
 
Event LFCS seminar: Luca Cardelli: Programming with chemical reactions (G.07, from Jun 01, 2017 11:00 AM to Jun 01, 2017 12:00 PM)
 
Event LFCS seminar: Clemens Kupke: Learning via Coalgebraic Logic (IF 4.31/4.33, from May 30, 2017 04:00 PM to May 30, 2017 05:00 PM)
 
Event LFCS seminar: Richard Mayr: On strong determinacy of countable stochastic games (IF 4.31/4.33, from May 23, 2017 04:00 PM to May 23, 2017 05:00 PM)
 
Event LFCS seminar: Marcin Jurdzinski: Succinct progress measures and solving parity games in quasi-polynomial time (IF 4.31/4.33, from May 09, 2017 04:00 PM to May 09, 2017 05:00 PM)
 
Event LFCS seminar: Dan Ghica: Diagrammatic Operational Semantics for Digital Circuits (IF 4.31/4.33, from May 05, 2017 04:00 PM to May 05, 2017 05:00 PM)
 
Event LFCS/CISA seminar: Ian Horrocks: Scalable reasoning for semantic technologies (IF 4.31/4.33, from Apr 28, 2017 03:00 PM to Apr 28, 2017 04:00 PM)
 
Event Lab Lunch with Steve Renals (MF2, from Apr 18, 2017 01:00 PM to Apr 18, 2017 02:00 PM)
Title: REF-2021
Document Actions