Personal tools
You are here: Home Events Previous

Previous

Past events

Event Lab Lunch Talk: Firefighter Games (MF2, from Oct 08, 2019 01:00 PM to Oct 08, 2019 02:00 PM)
Speaker: Mary Cryan and Cat Wedderburn
Event LFCS seminar: Glynn Winskel: From probabilistic to quantum strategies (G.03, from Oct 01, 2019 04:00 PM to Oct 01, 2019 05:00 PM)
 
Event Lab Lunch Talk: Overview of Research in the Software Testing Group (MF2, from Oct 01, 2019 01:00 PM to Oct 01, 2019 02:00 PM)
Speaker: Ajitha Rajan
Event LFCS seminar: Samson Abramsky: Simulations of quantum resources and the degrees of contextuality (G.158 - Quad Teaching Room (Old College), from Sep 18, 2019 02:30 PM to Sep 18, 2019 03:30 PM)
 
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 Lab Lunch Talk: 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 Lab Lunch Talk: 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)
 

Also in this section

Event Lab Lunch Talk: Firefighter Games (MF2, from Oct 08, 2019 01:00 PM to Oct 08, 2019 02:00 PM)
Speaker: Mary Cryan and Cat Wedderburn
Event LFCS seminar: Glynn Winskel: From probabilistic to quantum strategies (G.03, from Oct 01, 2019 04:00 PM to Oct 01, 2019 05:00 PM)
 
Event Lab Lunch Talk: Overview of Research in the Software Testing Group (MF2, from Oct 01, 2019 01:00 PM to Oct 01, 2019 02:00 PM)
Speaker: Ajitha Rajan
Event LFCS seminar: Samson Abramsky: Simulations of quantum resources and the degrees of contextuality (G.158 - Quad Teaching Room (Old College), from Sep 18, 2019 02:30 PM to Sep 18, 2019 03:30 PM)
 
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 Lab Lunch Talk: 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 Lab Lunch Talk: 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)
 
Document Actions