Personal tools
You are here: Home Events Previous

Previous

Past events

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)
 
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization (IF 4.31/4.33, from May 22, 2018 04:00 PM to May 22, 2018 05:00 PM)
 
Event Title: Test Case Permutation to Improve Execution Time (Mini Forum 2 (MF2) Level 4, from May 22, 2018 01:00 PM to May 22, 2018 02:00 PM)
Speaker: Ajitha Rajan
Event Title: Games for security education (Mini Forum 2 (MF2) Level 4, from May 15, 2018 01:00 PM to May 15, 2018 02:00 PM)
Speaker: Kami Vaniea
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms (IF 4.31/4.33, from May 08, 2018 04:00 PM to May 08, 2018 05:00 PM)
 
Event Title: An Operational Approach to Consistent Query Answering (Mini Forum 2, Level 4, from May 08, 2018 01:00 PM to May 08, 2018 02:00 PM)
Speaker: Andreas Pieris
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods (IF 4.31/4.33, from May 01, 2018 04:00 PM to May 01, 2018 05:00 PM)
 
Event Title: The geometry of Boolean algebra (Mini Forum 2, Level 4, from May 01, 2018 01:00 PM to May 01, 2018 02:00 PM)
Speaker: Chris Heunen

Also in this section

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)
 
Event LFCS seminar: Mihai Cucuringu: Robust ranking via eigenvector and semidefinite programming synchronization (IF 4.31/4.33, from May 22, 2018 04:00 PM to May 22, 2018 05:00 PM)
 
Event Title: Test Case Permutation to Improve Execution Time (Mini Forum 2 (MF2) Level 4, from May 22, 2018 01:00 PM to May 22, 2018 02:00 PM)
Speaker: Ajitha Rajan
Event Title: Games for security education (Mini Forum 2 (MF2) Level 4, from May 15, 2018 01:00 PM to May 15, 2018 02:00 PM)
Speaker: Kami Vaniea
Event LFCS seminar: Varun Kanade: Hierarchical clustering: Objective functions and efficient algorithms (IF 4.31/4.33, from May 08, 2018 04:00 PM to May 08, 2018 05:00 PM)
 
Event Title: An Operational Approach to Consistent Query Answering (Mini Forum 2, Level 4, from May 08, 2018 01:00 PM to May 08, 2018 02:00 PM)
Speaker: Andreas Pieris
Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods (IF 4.31/4.33, from May 01, 2018 04:00 PM to May 01, 2018 05:00 PM)
 
Event Title: The geometry of Boolean algebra (Mini Forum 2, Level 4, from May 01, 2018 01:00 PM to May 01, 2018 02:00 PM)
Speaker: Chris Heunen
Document Actions