Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS seminar: Bruce Kapron: Type-two feasibility via bounded query revision (IF 4.31/4.33, from Jul 16, 2019 04:00 PM to Jul 16, 2019 05:00 PM)
 
Event LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers (IF 4.31/4.33, from Jul 02, 2019 04:00 PM to Jul 02, 2019 05:00 PM)
 
Event LFCS seminar: Peter Thiemann: Label-Dependent Session Types (IF 4.31/4.33, from Jun 27, 2019 02:30 PM to Jun 27, 2019 04:00 PM)
 
Event Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (MF2, Level 4, from Jun 18, 2019 01:00 PM to Jun 18, 2019 02:00 PM)
Speaker: Paolo Guagliardo
Event LFCS seminar: Sergey Goncharov: Towards Coherence for Guarded Traces (IF 4.31/4.33, from Jun 11, 2019 04:00 PM to Jun 11, 2019 05:00 PM)
 
Event Title: Statistical Abstraction for Multi-scale Spatio-temporal Systems (MF2, Level 4, from Jun 11, 2019 01:00 PM to Jun 11, 2019 02:00 PM)
Speaker: Jane Hillston
Event LFCS seminar: Igor Carboni Oliveira: Randomness and Intractability in Kolmogorov Complexity (IF 4.31/4.33, from May 21, 2019 04:00 PM to May 21, 2019 05:00 PM)
 
Event Milner Lecture 2019 (Informatics Forum, G.07, from May 16, 2019 04:00 PM to May 16, 2019 05:00 PM)
This year's lecture will be given by Professor Dexter Kozen.
Event Lab Lunch Talk: Private Learning – Differential privacy and beyond (MF2, Level 4, from May 07, 2019 01:00 PM to May 07, 2019 01:00 PM)
Speaker: Rik Sarkar
Event Lab Lunch talk: Hercules and the Hydra (MF2, Level 4, from Apr 23, 2019 01:00 PM to Apr 23, 2019 02:00 PM)
Speaker: John Longley
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

Also in this section

Event LFCS seminar: Bruce Kapron: Type-two feasibility via bounded query revision (IF 4.31/4.33, from Jul 16, 2019 04:00 PM to Jul 16, 2019 05:00 PM)
 
Event LFCS seminar: Matija Pretnar: Bringing equations back to algebraic effect handlers (IF 4.31/4.33, from Jul 02, 2019 04:00 PM to Jul 02, 2019 05:00 PM)
 
Event LFCS seminar: Peter Thiemann: Label-Dependent Session Types (IF 4.31/4.33, from Jun 27, 2019 02:30 PM to Jun 27, 2019 04:00 PM)
 
Event Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (MF2, Level 4, from Jun 18, 2019 01:00 PM to Jun 18, 2019 02:00 PM)
Speaker: Paolo Guagliardo
Event LFCS seminar: Sergey Goncharov: Towards Coherence for Guarded Traces (IF 4.31/4.33, from Jun 11, 2019 04:00 PM to Jun 11, 2019 05:00 PM)
 
Event Title: Statistical Abstraction for Multi-scale Spatio-temporal Systems (MF2, Level 4, from Jun 11, 2019 01:00 PM to Jun 11, 2019 02:00 PM)
Speaker: Jane Hillston
Event LFCS seminar: Igor Carboni Oliveira: Randomness and Intractability in Kolmogorov Complexity (IF 4.31/4.33, from May 21, 2019 04:00 PM to May 21, 2019 05:00 PM)
 
Event Milner Lecture 2019 (Informatics Forum, G.07, from May 16, 2019 04:00 PM to May 16, 2019 05:00 PM)
This year's lecture will be given by Professor Dexter Kozen.
Event Lab Lunch Talk: Private Learning – Differential privacy and beyond (MF2, Level 4, from May 07, 2019 01:00 PM to May 07, 2019 01:00 PM)
Speaker: Rik Sarkar
Event Lab Lunch talk: Hercules and the Hydra (MF2, Level 4, from Apr 23, 2019 01:00 PM to Apr 23, 2019 02:00 PM)
Speaker: John Longley
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
Document Actions