School Program

30 September

Monday

Room: Auditorium “Raúl J. Marsal” (see maps)
08:50 - 09:00Opening
09:00 - 10:30Analysis of Graph Neural Networks via Graph Query Languages (I)
Michael Benedikt (University of Oxford, UK)
10:30 - 11:00Coffee Break
11:00 - 12:30Analysis of Graph Neural Networks via Graph Query Languages (II)
Michael Benedikt (University of Oxford, UK)
13:00 - 14:00Guided tour UNAM UNESCO world heritage area and wall paintings
14:15 - 15:00Lunch
15:00 - 16:30Hyper-heuristic Algorithms for Grouping Problems I
Marcela Quiroz Castellanos (IIIA @ Universidad Veracruzana, Mexico)
16:30 - 17:00Coffee Break
17:00 - 18:30Hyper-heuristic Algorithms for Grouping Problems I
Marcela Quiroz Castellanos (IIIA @ Universidad Veracruzana, Mexico)
18:30 - 20:30Dinner & Integration Activity
- Fiesta Latina (with Laura Palomares)

1 October

Tuesday

Since October 1st has been declared a national holiday and public institutions will be closed, the school’s activities for that day will be held at the Radisson Perisur Hotel (see map)
Tuesday, 1 OCTOBER
09:00 - 10:30Responsible AI I
Ricardo Baeza-Yates (Institute for Experiential AI @ Northeastern University, USA)
10:30 - 11:00Coffee Break
11:00 - 12:30Responsible AI II
Ricardo Baeza-Yates (Institute for Experiential AI @ Northeastern University, USA)
12:30 - 14:00Blockchain Practical Tutorial I
Rocío Aldeco Pérez (UNAM, Mexico)
14:00 - 15:30Lunch
15:30 - 17:00Blockchain Practical Tutorial II
Rocío Aldeco Pérez (UNAM, Mexico)
17:00 - 17:30Coffee Break
17:30Departure to the Arena México
19:30 - 23:00Mexican Experience Night
- Lucha Libre @ Arena México
- Tacos Dinner

Workshop Program

2 October

Wednesday

Room: Auditorium “Raúl J. Marsal” (see maps)
08:30 - 09:00Opening
Genoveva Vargas-Solar (CNRS, France) — General Chair
Emanuel Sallinger (TU Wien, Austria) — Program Committee Chair
09:00 - 10:00Keynote 1
Verification of Graph Learning Models and Analysis of Query Languages
Michael Benedikt (University of Oxford, UK)
Session chair: Emanuel Sallinger
10:00 - 10:30 Coffee Break
10:30 - 11:30Keynote 2
Integrating Semantics with Symbolic AI: The Path to Interpretable Hybrid AI Systems
Maria-Esther Vidal (Leibniz University of Hannover, Germany)
Session chair: Rocío Aldeco
11:30 - 13:00Session 1: Temporal Data and Streams
Session chair: Rocío Aldeco
A Stream Processing-Based Algorithm for Maintaining Minimum Spanning Forests of Evolving Graphs
Daniel Benedí, Amalia Duch and Edelmira Pasarella

When-Provenance: Leveraging Provenance Semirings for Temporal Data Tracking

Sebastien Labbe, Samuele Langhi, Angela Bonifati and Riccardo Tommasini

Semi-automatic Mapping and Extraction of RDF Triples from Wikipedia Tables

Adriana Concha and Aidan Hogan

13:30 - 15:00 Visit Museo Universitario de Arte Contemporaneo (MUAC) 
15:00 - 16:30 Lunch at Nube 7
17:00 - 18:30 Session 2: Consistency and Trust
Session chair: Aidan Hogan
Towards FATEful Smart Contracts
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl and Emanuel Sallinger

Consistent Query Answering over SHACL Constraints
Timo Merkl, Reinhard Pichler and Shqiponja Ahmetaj

The R3 Metric: Measuring Performance of Link Prioritization During Traversal-based Query Processing
Ruben Eschauzier, Ruben Taelman and Ruben Verborgh 
18:30 - 20:30Dinner and Integration Activity at Tierra 
- Taller de Danza Folklórica Mazatl (Ricardo Baeza Servín)

3 October

Thursday

Room: Auditorium “Raúl J. Marsal” (see maps)
09:00 - 10:00 Keynote 3
Learning in Query Optimization over Knowledge Graphs: From Adaptive Techniques to Neuro-Symbolic Optimizers … And Back?
Maribel Acosta Deibe (TU München, Germany)
Session chair: Edelmira Pasarella
10:00 - 10:30 Coffee Break
11:00 - 12:30 Guided visit National Biodiversity Pavilion
12:30 - 14:00  Session 3: Indexing and Views
Session chair: Regina Motz
Interfaces to Data, Beyond Views
Michael Benedikt

cKdtree: a Compact Kdtree for Spatial Data
Gilberto Gutierrez, Rodrigo Torres-Avilés and Monica Caniupan

Avoiding Materialisation for Guarded Aggregate Queries
Matthias Lanzinger, Reinhard Pichler and Alexander Selzer
14:00 - 15:30Lunch at Tierra
16:00 - 17:00 Keynote 4 
From Strings to Things and Back: Putting Logic-based Reasoning into Action in a Central Bank
Luigi Bellomarini (Banca d’Italia, Università Roma Tre, Italy)
Session chair: Emanuel Sallinger
17:00 - 17:30 Coffee Break
17:30 - 19:00 Session 4: Knowledge Graphs and Machine Learning
Session chair: Luigi Bellomarini
WoolNet: Finding and Visualising Paths in Knowledge Graphs

Cristóbal Torres and Aidan Hogan

Raising the Efficiency of Knowledge Graph Embeddings While Respecting Logical Rules

Aleksandar Pavlovic and Emanuel Sallinger

Towards SHACL Validation of Evolving Graphs

Shqiponja Ahmetaj, Magdalena Ortiz and Mantas Šimkus

19:15 Departure for the special dinner
20:00 - 23:00 Special Dinner at Corazon de Maguey

4 October

Friday

Slides:

09:00 - 10:00 Keynote 5
Data/AI Assemblages of Inequality: Feminist and Decolonial Perspectives from/for Latin America
Paola Ricaurte (Tecnológico de Monterrey, Mexico)
Session Chair: Genoveva Vargas-Solar
10:00 - 10:30 Coffee Break
10:30 - 12:00 Session 5: Modeling and Applications
Session chair: Javier A. Espinosa-Oviedo
Modeling the Lifecycle of Knowledge Artifacts in Qualitative Research Methodologies
Alejandro Adorjan, Genoveva Vargas-Solar and Regina Motz

Opportunities for Shape-based Optimization of Link Traversal Queries
Bryan-Elliott Tam, Ruben Taelman, Pieter Colpaert and Ruben Verborgh

Continuous Query Engine to Detect Anomalous ATM Transactions
Fernando Martín-Canfrán, Daniel Benedí, Amalia Duch and Edelmira Pasarella
12:00 - 12:15Closing
12:45  Departure Lunch in Coyoacán & Visit Museo Frida Kahlo