6th International Workshop on the Resurgence of Datalog in Academia and Industry

DATALOG 2.0 2026

September 7, 2026

at Klagenfurt, Austria

THE WORKSHOP

Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research.

The 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2026) will be held in Klagenfurt, Austria, on September 7, 2026. Datalog 2.0 2026 is hosted by the 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026).

The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions (as also the following editions). The third edition was held in Philadelphia, PA (USA), in 2019. The fourth edition was held in Genova-Nervi, Italy, in 2022. The fifth in Dallas, Texas (USA) in 2024.

PROCEEDINGS

Proceedings shall be submitted to CEUR-WS.org for online publication

PROGRAM

09:00 – 09:30: Session 1: Opening

Welcome and opening remarks

09:30 – 10:00 Coffee Break

10:00–12:00 Session 2: Datalog, Expanded

KEYNOTE — Growing Datalog
Wim Martens

SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract)
Alex Ivliev, Markus Krötzsch, Maximilian Marx

Temporal Datalog in Academia and Industry: The Temporal Vadalog System
Luigi Bellomarini, Livia Blasi, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger

12:00–13:30 Lunch Break

13:30 – 15:30 Session 3: Inside Datalog

Cardinality Estimates for Recursively Defined Relations in Datalog
Christian Fattebert, Zhekai Jiang, Christoph Koch, Reinhard Pichler, Qichen Wang

Almost Symmetric Linear Arc Monadic Datalog and Transitive Tournaments
Florian Starke, Sebastian Meyer

Rule-Based Ontology-Mediated Queries with Negation: An Algorithmic Characterization of First-order Rewritability
Andreas Pieris, Aldo Ricioppo

Polynomial combined first-order rewriting for query answering over non-recursive Datalog knowledge bases
Nicola Leone, Marco Manna, Aldo Ricioppo, Lucio Pio Savonarola Gentile

Extensional Reasoning with Complete View Definitions and Incomplete Data: a Transformation-based Approach
Manav Kant, Michael Genesereth

15:30 - 16:00 Coffee Break

16:00 - 18:00 Session 4: Datalog Frontiers

Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models
Bruno Rucy Carneiro Alves de Lima, Victor Henrique Cabral Pinheiro, Evgenii Dolzhkov, Joseph Haske

Embedding Safe AI Assistants into Web Apps with LLMASP: An Experimental Evaluation
Mario Alviani, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Luis Angel Rodriguez Reiners

clingowl: a Tool for Ontology Querying in Answer Set Programming
Alina Vozna, Pedro Cabalar, Stefania Costantini

Skolem Forms and Equilibrium Semantics for Existential Datalog Rules
David Pearce

TOPICS

Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others):

data management
data mining
neurosymbolic combinations of datalog and machine learning
knowledge representation and reasoning
cloud computing
distributed computing
logic programming
privacy and security
probabilistic reasoning
program analysis
programming languages
semantic web
social networks
streaming
verification
web services

SUBMISSIONS

Datalog 2.0 2026 welcomes two types of submissions:

Long papers of up to 12 pages, presenting original research
Short papers of up to 5 pages that may contain either original ongoing research or recently published results

in the following categories:

Technical papers
System descriptions
Application descriptions

Long papers may additionally contain an appendix in addition to the 12 page limit.

The indicated number of pages includes title page and excludes references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, using the CEURART style (either start with the Overleaf template and select Copy Project in the Menu, or download the offline version and use your favorite editor). Titles of Manuscripts, Sections and Subsections Must be Appropriately Capitalized.

IMPORTANT DATES

Paper registration: June 24, July 4
Paper submission: July 1, July 8
Notification: July 28 August 3
Final versions due: August 31

All deadlines are UTC-12 (anywhere on earth).

REGISTRATION

Follow the instructions provided at https://lpnmr2026.aics.aau.at

INVITED SPEAKER

Wim Martens

Growing Datalog

The talk will be centered around the question how we can go from query languages to declarative programming languages, which is a huge challenge. Datalog is an excellent starting point for such a task, because it already has recursion and a simple and clean semantics. In fact, the language Rel, which is being developed for this purpose, is heavily inspired by Datalog, and extends it, among other features, with first-order queries in rule bodies. I will explain some of the design principles behind Rel and will give an overview of the language features that were added to bring it to the point where it can cope with general-purpose programming tasks.

Wim Martens is professor for Data Intensive Computing at the University of Bayreuth. He is interested in data management (with a current focus on query language design and graph databases), logic, complexity, and formal language theory. One of his goals is to find a good balance for making programming with data easy, intuitive, precise, and efficient.

VENUE

Klagenfurt, Austria

Klagenfurt, nestled by the stunning Lake Woerthersee in southern Austria, is a vibrant city featuring a unique mix of Renaissance architecture and rich cultural heritage. As the capital of Carinthia, it offers a high quality of life with a delightful culinary scene, ranging from cozy cafes to traditional lakeside eateries.

The city is situated at a historical and geographic crossroads between the Alpine and Mediterranean worlds, which is reflected in its relaxed atmosphere and diverse landmarks, such as the Lindwurm statue and the nearby Minimundus. The University of Klagenfurt (AAU) is a modern, green campus located only a 5-10 minute walk from the shores of Lake Woerthersee and the expansive Europapark, providing an ideal and serene environment for academic exchange. Early September offers pleasant late-summer weather, perfect for enjoying the lake's turquoise waters or exploring the surrounding mountain trails.

ORGANIZATION

PROGRAM CHAIRS

Marco Calautti, University of Milan, Italy

Matthias Lanzinger, TU Wien, Austria

PROGRAM COMMITTEE

Amélie Gheerbrant, Université de Paris, IRIF

Andreas Pieris, University of Edinburgh and University of Cyprus

Bart Bogaerts, KU Leuven

Cristian Molinaro, University of Calabria

Cristina Feier, Technical University of Cluj-Napoca

Emanuel Sallinger, TU Wien

Esra Erdem, Sabanci University

Ester Livshits, Technion

Leopoldo Bertossi, Carleton University

Marco Console, Sapienza Univ. Roma, Italy

Marco Manna, University of Calabria

Markus Krötzsch, TU Dresden

Michael Morak, University of Klagenfurt

Paraschos Koutris, University of Wisconsin-Madison

Reinhard Pichler, TU Wien

Roman Kontchakov, Birkbeck, University of London

Tran Son, New Mexico State University

Yanhong A Liu, Stony Brook University

Acknowledgements

The Microsoft CMT service was used for managing the peer-reviewing process for this conference. This service was provided for free by Microsoft and they bore all expenses, including costs for Azure cloud services as well as for software development and support.

CONTACTS

Email the Program Chairs

Page updated

Google Sites

Report abuse