Data, Knowledge and Action Seminar

The seminar will normally be Tuesdays at 11:30, by default in room 051.  For further information about seminars, please contact Michael Benedikt.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 30Jan2024
  Graph machine learning and algorithms for large-scale real-world graphs.

  11:00 Tuesday 30th January ( week 3, Hilary Term 2024 ) in 051

  Brian Shi, Neo4j ( Neo4j )
• 15Nov2023
  Linear Temporal Logic over finite traces for declarative business processes

  15:00 Wednesday 15th November ( Michaelmas Term 2023 ) in online

  Marco Montali ( Bolzano )
• 10Oct2023
  Tighter Bounds on the Expressivity of Transformer Encoders

  14:00 Tuesday 10th October ( week 1, Michaelmas Term 2023 ) in Online

  David Chiang ( Notre Dame )
• 24Jul2023
  Deep Learning with Logical Requirements

  11:00 Monday 24th July ( Trinity Term 2023 ) in LTB

  Eleonora Giunchiglia ( Oxford and TU Wien )
• 2May2023
  Unifying Data Analytics with Semi-Ring Dictionaries

  11:00 Tuesday 2nd May ( week 2, Trinity Term 2023 ) in 051

  Amir Shaikhha ( Edinburgh )
• 3Mar2023
  Dependency Quantified Boolean Formulas and Succinct Sat

  14:00 Friday 3rd March ( Hilary Term 2023 ) in 441

  Tony Tan ( Taiwan National U )
• 1Mar2022
  Query optimization for hybrid database-ML pipelines

  12:00 Tuesday 1st March ( Trinity Term 2022 ) in Lecture Theatre B AND Online (Zoom details to come)

  Ioana Manolescu ( INRIA )
• 23Nov2021
  Box Embeddings for Knowledge Base Completion

  10:30 Tuesday 23rd November ( Michaelmas Term 2021 ) in Zoom (link available closer to the date)

  Ralph Abboud ( Oxford )
• 16Nov2021
  Generative Datalog + Continuous Distributions

  10:30 Tuesday 16th November ( Michaelmas Term 2021 ) in Zoom (link available closer to the date)

  Peter Lindner ( Aachen )
• 9Nov2021
  Multi-hop reasoning over knowledge graphs: methods, applications and large-scale systems

  16:00 Tuesday 9th November ( Michaelmas Term 2021 ) in online (link to follow)

  Hongyu Ren ( Stanford )
• 2Nov2021
  Complex Query Answering with Neural Link Predictors, and Neuro-Symbolic Reasoning

  10:30 Tuesday 2nd November ( Michaelmas Term 2021 ) in Zoom (link available closer to the date)

  Pasquale Minervini ( UCL )
• 26Oct2021
  Learning with Graphs: Graph Neural Networks and the Weisfeiler-Leman algorithm

  15:00 Tuesday 26th October ( Michaelmas Term 2021 ) in online (link to follow)

  Christopher Morris ( MILA )
• 19Oct2021
  Differentiable reasoning over symbolic KB

  15:00 Tuesday 19th October ( Michaelmas Term 2021 ) in Zoom (link available closer to the date)

  Haitian Sun ( CMU )
• 8Jun2021
  Expressive power of linear algebra query languages.

  15:00 Tuesday 8th June ( week 7, Trinity Term 2021 ) in Zoom

  Cristian Riveros
• 1Jun2021
  Database Tuples Play Cooperative Games

  11:00 Tuesday 1st June ( Trinity Term 2021 ) <meta itemprop="location" content="TBA"/>

  Ester Livschits ( Edinbugh )
• 26May2021
  GeCo: Quality Counterfactual Explanations in Real Time

  16:15 Wednesday 26th May ( Trinity Term 2021 ) in Zoom (link available closer to the date)

  Maximilian Schleich ( University of Washington )
• 20Apr2021
  The Rise of Approximate Model Counting: A Child of SAT Revolution

  14:00 Tuesday 20th April ( Hilary Term 2021 ) in Zoom (link available closer to the date)

  Kuldeep Meel ( National University of Singapore )
• 10Oct2019
  GeoAI for CAV: an Ordnance Survey perspective

  13:00 Thursday 10th October ( Michaelmas Term 2019 ) in 051

  Stefano Cavazzi ( Ordnance Survey )
• 10Sep2019
  Revisiting two-variable logic

  11:30 Tuesday 10th September ( Hilary Term 2019 ) in TBA

  Tony Tan ( Department of Computer Science and Information Engineering, College of Electrical Engineering and Computer Science, National Taiwan University )
• 25Jun2019
  Towards Learnable Proof Systems: Learning Dynamic Semi-algebraic Proofs

  11:30 Tuesday 25th June ( Trinity Term 2019 ) in LTA

  Mateusz Malinowski ( Google DeepMind )
• 22Mar2019
  The SQL++ Query Language

  11:30 Friday 22nd March ( Hilary Term 2019 ) in 051

  Yannis Papakonstantinou ( Amazon Web Services and University of California, San Diego )
• 5Mar2019
  Leveraging the Structure of Uncertain Data

  11:30 Tuesday 5th March ( week 8, Hilary Term 2019 ) in 051

  Antoine Amarilli ( Telecom ParisTech )
• 29Jan2019
  Complexity Bounds for Relational Algebra over Text Extractors

  12:00 Tuesday 29th January ( Hilary Term 2019 ) in 051

  Liat Peterfreund ( Technion )
• 8Jan2019
  Enumeration of UCQs with Constant Delay

  11:30 Tuesday 8th January ( Hilary Term 2019 ) in 051

  Nofar Carmeli ( Technion )
• 11Dec2018
  Practical challenges to building large applications written in a datalog-based language

  11:30 Tuesday 11th December ( Michaelmas Term 2018 ) in 051

  Kurt Stirewalt ( Vice President of Software Development, Infor )
• 6Dec2018
  Reasoning over Existential Rules with Acyclicity Notions

  11:30 6th December 2018 in 051

  David Carral ( Technische Universität Dresden )
• 27Nov2018
  Logic-based analysis and synthesis of database queries

  15:00 Tuesday 27th November ( week 8, Michaelmas Term 2018 ) in 051

  Michael Benedikt
• 20Nov2018
  Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux

  11:30 Tuesday 20th November ( Michaelmas Term 2018 ) in 051

  Christoph Wernhard ( TU Dresden )
• 19Oct2018
  Combinatorial Preference Aggregation via Global Voting over CP-nets

  16:30 19th October 2018 in 051

  Enrico Malizia ( University of Exeter )
• 13Sep2018
  Inconsistency-tolerant temporal query answering in lightweight description logics

  14:00 13th September 2018 in 051

  Anni-Yasmin Turhan ( TU Dresden )
• 21Aug2018
  How to Coach your Cognitive Assistant

  11:30 21st August 2018 in 051

  Loizos Michael ( Open University of Cyprus )
• 24Jul2018
  ReStore: Reusing Results of MapReduce Jobs

  11:30 Tuesday 24th July ( Trinity Term 2018 ) in 051

  Iman Elghandour ( Alexandria University and Université Libre de Bruxelles )
• 5Jun2018
  Hardware-conscious data processing systems

  11:30 Tuesday 5th June ( week 7, Trinity Term 2018 ) in 051

  Holger Pirk ( Imperial College London )
• 29May2018
  Horn and core fragments of Halpern-Shoham logic: between expressiveness and complexity

  11:30 Tuesday 29th May ( Trinity Term 2018 ) in 051

  Przemyslaw Walega
• 16May2018
  A hitchhiker’s guide to Ontology

  15:00 Wednesday 16th May ( week 4, Trinity Term 2018 ) in 051

  Fabian M. Suchanek ( Télécom ParisTech University )
• 22Mar2018
  Compressed Representations of Conjunctive Query Results

  14:00 Thursday 22nd March ( Hilary Term 2018 ) in 051

  Paris Koutris ( University of Wisconsin-Madison )
• 20Mar2018
  Using LogicBlox to build large retail analytics applications

  11:30 Tuesday 20th March ( Hilary Term 2018 ) in 051

  Kurt Stirewalt ( Vice President of Software Development, Infor Retail )
• 13Mar2018
  Associate formal semantic description to Data Services

  11:30 13th March ( Hilary Term 2018 ) in Room 051

  Gianluca Cima ( University of Rome “La Sapienza” )
• 13Feb2018
  VLog: A Column-Oriented Datalog Engine

  11:30 Tuesday 13th February ( week 5, Hilary Term 2018 ) in 051

  Jacopo Urbani ( Vrije Universiteit, Amsterdam )
• 6Feb2018
  Integrating Semantic Web in the Real World: A journey between two cities

  11:30 Tuesday 6th February ( week 4, Hilary Term 2018 ) in 051

  Juan F. Sequeda ( Capsenta, USA )
• 23Jan2018
  Achieving privacy and utility in view-based data integration (or: how to answer queries without revealing secrets)

  11:30 Tuesday 23rd January ( week 2, Hilary Term 2018 ) in 051

  Michael Benedikt