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.

There are no upcoming seminars in this series at this time. Please check again soon.

• 15Nov2024
  Workshop on Business Process Management and Process Mining

  10:00 15th November 2024 in Wolfson Building (TBA)

  Keisha Glori Natalia*, Francesco Leotta, Flavia Monti, Massimo Mecella, Andrea Marrella ( * Celonis, Others: Sapienza University of Rome )
• 29Aug2024
  Expressiveness and Generalisation in Graph Neural Networks

  11:00 Thursday 29th August ( Trinity Term 2024 ) in 051

  Floris Geerts ( Antwerp )
• 21May2024
  On the Expressivity of Recurrent Neural Cascades

  11:00 Tuesday 21st May ( Trinity Term 2024 ) in 051

  Alessandro Ronca ( Oxford )
• 16May2024
  Expressiveness and Decidability of Graph Neural Networks

  11:00 16th May ( Trinity Term 2024 ) in 051

  Chia-Hsuan Lu ( Oxford )
• 3May2024
  Graph Data Science for Social Good: support for elder care

  11:00 Friday 3rd May ( Trinity Term 2024 ) in Lecture Theatre B

  Reynold Cheng ( Hong Kong University )
• 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