Personal tools
You are here: Home Events Previous

Previous

Past events

Event Teaching theoretical computer science: a personal experience (MF2, Level 4, from Oct 16, 2018 01:00 PM to Oct 16, 2018 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs (from Oct 09, 2018 04:00 PM to Oct 09, 2018 05:00 PM)
 
Event Programming Language Foundations in Agda (MF2, Level 4, from Oct 09, 2018 01:00 PM to Oct 09, 2018 02:00 PM)
Speaker: Phil Wadler
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience (MF2, from Oct 05, 2018 02:00 PM to Oct 05, 2018 03:00 PM)
 
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation (MF2, from Oct 05, 2018 10:00 AM to Oct 05, 2018 11:00 AM)
 
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings (IF 4.31/4.33, from Sep 25, 2018 04:00 PM to Sep 25, 2018 05:00 PM)
 
Event Title: The Bayes Centre - All questions answered (Mini Forum 2 (MF2) Level 4, from Sep 25, 2018 01:00 PM to Sep 25, 2018 02:00 PM)
Speaker: Michael Rovatsos
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation (IF 4.31/4.33, from Sep 18, 2018 02:00 PM to Sep 18, 2018 03:00 PM)
 
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities (IF 4.31/4.33, from Sep 04, 2018 02:30 PM to Sep 04, 2018 04:00 PM)
 
Event LFCS seminar: Tomas Petricek: Programming as human data interaction (IF 4.31/4.33, from Aug 24, 2018 02:00 PM to Aug 24, 2018 03:00 PM)
 
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming (IF 4.31/4.33, from Aug 16, 2018 03:00 PM to Aug 16, 2018 04:00 PM)
 
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution (IF 4.31/4.33, from Aug 02, 2018 04:00 PM to Aug 02, 2018 05:00 PM)
 
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants (IF 4.31/4.33, from Jul 31, 2018 04:00 PM to Jul 31, 2018 05:00 PM)
 
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion (IF 4.31/4.33, from Jul 18, 2018 03:00 PM to Jul 18, 2018 04:00 PM)
 
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases (7 George Square, room F.21, from Jun 28, 2018 10:30 AM to Jun 28, 2018 11:30 AM)
 
Event Milner Lecture 2018: Swift Logic for Big Data and Knowledge Graphs (Lecture Theatre G.03, 50 George Square, from Jun 27, 2018 04:00 PM to Jun 27, 2018 05:00 PM)
Speaker: Georg Gottlob, University of Oxford
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems (IF 4.31/4.33, from Jun 20, 2018 11:00 AM to Jun 20, 2018 12:00 PM)
 
Event Title: The Digital Skills Partnership: What do we need from industry? (Mini Forum 2 (MF2) Level 4, from Jun 05, 2018 01:00 PM to Jun 05, 2018 02:00 PM)
Speaker: Stuart Anderson
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning (IF 4.31/4.33, from May 31, 2018 03:00 PM to May 31, 2018 04:00 PM)
 
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms (IF 4.31/4.33, from May 29, 2018 04:00 PM to May 29, 2018 05:00 PM)
 

Also in this section

Event Teaching theoretical computer science: a personal experience (MF2, Level 4, from Oct 16, 2018 01:00 PM to Oct 16, 2018 02:00 PM)
Speaker: He Sun
Event LFCS seminar: Matthew Jenssen: Algorithms for #BIS-hard problems on expander graphs (from Oct 09, 2018 04:00 PM to Oct 09, 2018 05:00 PM)
 
Event Programming Language Foundations in Agda (MF2, Level 4, from Oct 09, 2018 01:00 PM to Oct 09, 2018 02:00 PM)
Speaker: Phil Wadler
Event LFCS seminar: Wang-Chiew Tan: Enabling search by experience (MF2, from Oct 05, 2018 02:00 PM to Oct 05, 2018 03:00 PM)
 
Event LFCS seminar: Lucian Popa: Human-in-the-Loop Entity Resolution for Knowledge Curation (MF2, from Oct 05, 2018 10:00 AM to Oct 05, 2018 11:00 AM)
 
Event LFCS seminar: Guillem Perarnau: Rapid mixing of Glauber dynamics for graph colorings (IF 4.31/4.33, from Sep 25, 2018 04:00 PM to Sep 25, 2018 05:00 PM)
 
Event Title: The Bayes Centre - All questions answered (Mini Forum 2 (MF2) Level 4, from Sep 25, 2018 01:00 PM to Sep 25, 2018 02:00 PM)
Speaker: Michael Rovatsos
Event LFCS seminar: Mourad Ouzzani: The Data Civilizer – Easing the Pain of Data Preparation (IF 4.31/4.33, from Sep 18, 2018 02:00 PM to Sep 18, 2018 03:00 PM)
 
Event LFCS seminar: Juan Sequeda: Integrating Semantic Web in the Real World: A journey between two cities (IF 4.31/4.33, from Sep 04, 2018 02:30 PM to Sep 04, 2018 04:00 PM)
 
Event LFCS seminar: Tomas Petricek: Programming as human data interaction (IF 4.31/4.33, from Aug 24, 2018 02:00 PM to Aug 24, 2018 03:00 PM)
 
Event LFCS seminar: Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming (IF 4.31/4.33, from Aug 16, 2018 03:00 PM to Aug 16, 2018 04:00 PM)
 
Event LFCS seminar: Yitong Yin: Local distributed sampling from locally-defined distribution (IF 4.31/4.33, from Aug 02, 2018 04:00 PM to Aug 02, 2018 05:00 PM)
 
Event LFCS seminar: Ronald Garcia: Gradual Enforcement of Program Invariants (IF 4.31/4.33, from Jul 31, 2018 04:00 PM to Jul 31, 2018 05:00 PM)
 
Event LFCS seminar: Mitchell Wand: A Probabilistic Language with Continuous Random Variables and Recursion (IF 4.31/4.33, from Jul 18, 2018 03:00 PM to Jul 18, 2018 04:00 PM)
 
Event LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases (7 George Square, room F.21, from Jun 28, 2018 10:30 AM to Jun 28, 2018 11:30 AM)
 
Event Milner Lecture 2018: Swift Logic for Big Data and Knowledge Graphs (Lecture Theatre G.03, 50 George Square, from Jun 27, 2018 04:00 PM to Jun 27, 2018 05:00 PM)
Speaker: Georg Gottlob, University of Oxford
Event LFCS seminar: Ashley Montanaro: Opportunities and challenges for quantum algorithms for constraint satisfaction problems (IF 4.31/4.33, from Jun 20, 2018 11:00 AM to Jun 20, 2018 12:00 PM)
 
Event Title: The Digital Skills Partnership: What do we need from industry? (Mini Forum 2 (MF2) Level 4, from Jun 05, 2018 01:00 PM to Jun 05, 2018 02:00 PM)
Speaker: Stuart Anderson
Event LFCS seminar: Prakash Panangaden: Quantitative equational reasoning (IF 4.31/4.33, from May 31, 2018 03:00 PM to May 31, 2018 04:00 PM)
 
Event LFCS seminar: Sayan Bhattacharya: Some Recent Advances in Dynamic Graph Algorithms (IF 4.31/4.33, from May 29, 2018 04:00 PM to May 29, 2018 05:00 PM)
 
Document Actions