Personal tools
You are here: Home Events Previous

Previous

Past events

Event Title: MCMix: Anonymous Messaging via Secure Multiparty Computation (Mini Forum 2 (MF2), Level4, from Apr 24, 2018 01:00 PM to Apr 24, 2018 02:00 PM)
Speaker: Thomas Zacharias
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks (IF 4.31/4.33, from Apr 17, 2018 04:00 PM to Apr 17, 2018 05:00 PM)
 
Event Language-integrated Provenance in Haskell (Mini Forum 2 (MF2) Level 4, from Apr 17, 2018 01:00 PM to Apr 17, 2018 02:00 PM)
Speaker: Jan Stolarek
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability (IF 4.31/4.33, from Apr 03, 2018 04:00 PM to Apr 03, 2018 05:00 PM)
 
Event Title: Hardware Bitcoin Wallets: how secure are they, anyway? (Mini Forum 2 (MF2) Level 4, from Mar 27, 2018 01:00 PM to Mar 27, 2018 02:00 PM)
Speaker: Andriana Gkaniatsou
Event LFCS seminar: Nada Amin (cancelled due to strike) (IF 4.31/4.33, from Mar 06, 2018 04:00 PM to Mar 06, 2018 05:00 PM)
 
Event LFCS seminar: Michel Schellekens: Modular algorithm analysis (IF 4.31/4.33, from Feb 27, 2018 04:00 PM to Feb 27, 2018 05:00 PM)
 
Event Title: Triangulating Context Lemmas (Mini Forum 2 (MF2) Level 4, from Feb 20, 2018 01:00 PM to Feb 20, 2018 02:00 PM)
Speaker: Ian Stark
Event LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation (IF 4.31/4.33, from Feb 13, 2018 04:00 PM to Feb 13, 2018 05:00 PM)
 
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

Also in this section

Event Title: MCMix: Anonymous Messaging via Secure Multiparty Computation (Mini Forum 2 (MF2), Level4, from Apr 24, 2018 01:00 PM to Apr 24, 2018 02:00 PM)
Speaker: Thomas Zacharias
Event LFCS seminar: Jessica Enright: Counting small subgraphs in multi-layer networks (IF 4.31/4.33, from Apr 17, 2018 04:00 PM to Apr 17, 2018 05:00 PM)
 
Event Language-integrated Provenance in Haskell (Mini Forum 2 (MF2) Level 4, from Apr 17, 2018 01:00 PM to Apr 17, 2018 02:00 PM)
Speaker: Jan Stolarek
Event LFCS seminar: Mark Jerrum: A polynomial-time approximation algorithm for all-terminal network reliability (IF 4.31/4.33, from Apr 03, 2018 04:00 PM to Apr 03, 2018 05:00 PM)
 
Event Title: Hardware Bitcoin Wallets: how secure are they, anyway? (Mini Forum 2 (MF2) Level 4, from Mar 27, 2018 01:00 PM to Mar 27, 2018 02:00 PM)
Speaker: Andriana Gkaniatsou
Event LFCS seminar: Nada Amin (cancelled due to strike) (IF 4.31/4.33, from Mar 06, 2018 04:00 PM to Mar 06, 2018 05:00 PM)
 
Event LFCS seminar: Michel Schellekens: Modular algorithm analysis (IF 4.31/4.33, from Feb 27, 2018 04:00 PM to Feb 27, 2018 05:00 PM)
 
Event Title: Triangulating Context Lemmas (Mini Forum 2 (MF2) Level 4, from Feb 20, 2018 01:00 PM to Feb 20, 2018 02:00 PM)
Speaker: Ian Stark
Event LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation (IF 4.31/4.33, from Feb 13, 2018 04:00 PM to Feb 13, 2018 05:00 PM)
 
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
Document Actions