Call for Participation: Datalog 2.0 Workshop


September 11-13, 2012, Vienna, Austria

For registration please use:

The “2nd Workshop on the Resurgence of Datalog in Academia and Industry” (Datalog 2.0, 2012) will be held in Vienna, Austria, on September 11-13, 2012, and will be co-located with the “International Conference on Web Reasoning and Rule Systems” (RR 2012) and the “International Conference on Computational Models of Argument” (COMMA 2012).  This will be the first open version of the workshop, second in total. The previous edition was held in Oxford, UK, during March 2010. It was based on invitations only.

Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its main aim is to bring everyone up-to-date and map out directions for future research. Over the past few years, Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry. Due to this renewed interest and increased level of activity in the area, we have decided to open the workshop for submissions.

This year we have a world-class group of invited speakers and tutorials, as well as a very lively and inspiring technical program composed of regular papers, system descriptions, and tutorials. We believe that attending Datalog 2.0, 2012 is a great opportunity for everyone interested in the foundations and the current applications of Datalog.

Invited Speakers:

  • Thomas Eiter (TU Wien)
  • Yuri Gurevich (Microsoft Research)
  • Phokion Kolaitis (UC Santa Cruz)
  • Robert Kowalski (Imperial College, London), joint talk with RR and COMMA
  • Oege de Moor (Oxford U.)
  • Marie-Laure Mugnier (U. of Montpellier)

Invited Tutorials:

  • Todd J. Green (UC Davis, LogicBlox)
  • Axel Polleres (Siemens AG Austria)

Accepted Papers:

  • Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina and Pierfrancesco Veltri:  Magic-Sets for Datalog with Existential Quantifiers
  • Tom Ameloot and Jan Van Den Bussche:  On the CRON Conjecture
  • Stefan Brass:  Order in Datalog with Applications to Declarative Output
  • Cristina Civili and Riccardo Rosati:  A broad class of first-order rewritable tuple-generating dependencies
  • Jaffer Gardezi and Leopoldo Bertossi:  Query Rewriting using Datalog for Duplicate Resolution
  • Matteo Interlandi:  Reasoning about Knowledge in Distributed Systems Using Datalog
  • Sven Koehler, Bertram Ludaescher and Yannis Smaragdakis:  Declarative Datalog Debugging for Mere Mortals
  • Thomas Lukasiewicz, Maria Vanina Martinez and Gerardo Simari: Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-
  • William Marczak, Peter Alvaro, Neil Conway, Joseph Hellerstein and
  • David Maier:  Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
  • Domenico Sacca’ and Edoardo Serra:  Data Exchange in Datalog is mainly a Matter of Choice
  • Marianne Shaw, Bill Howe, Paris Koutris and Dan Suciu:  Optimizing Large-Scale Semi-Naive Datalog Evaluation in Hadoop
  • Carlo Zaniolo:  Logical Foundations of Continuous Query Languages for Data Streams

System Description:

  • Daniel Ritter and Till Westmann:  Reconstructing Linked Business Networks from Network Mining Data using Datalog


  • Onofrio Febbraro, Giovanni Grasso, Nicola Leone and Francesco Ricca: Datalog Development Tools

General Chair:
Georg Gottlob (Oxford U.)

Program Chairs:
Pablo Barcelo (U. of Chile)
Reinhard Pichler (TU Wien)

Program Committee:
Chitta Baral (Arizona State U.)
Piero Bonatti (U. of Napoli)
Loreto Bravo (U. of Concepcion)
Andrea Cali (U. London, Birbeck)
Diego Calvanese (Free U. of Bozen-Bolzano)
Jurgen Dix (TU Clausthal)
Tim Furche (Oxford U.)
Claudio Gutierrez (U. of Chile)
Georg Lausen (U. Freiburg)
Nicola Leone (U. of Calabria)
Y. Annie Liu (SUNY, Stony Br.)
Boon Thau Loo (U. of Pennsylvania)
Raghu Ramakrishnan (Yahoo!)
Sebastian Rudolph (Karlsruhe IT)
Tuncay Tekle (LogicBlox)
Miroslaw Truszczynski (U. Kentucky)
Stijn Vansummeren (U. Libre Bruxelles)
Victor Vianu (UC San Diego)
Stefan Woltran (TU Wien)
Peter Wood (U. London, Birbeck)

Local organizers:
Markus Pichlmair (TU Wien)
Reinhard Pichler (TU Wien)