Datalog 2.0 Workshop - Call for Registration

From: Datalog 2.0 Workshop <>
Date: Wed, 27 Jun 2012 16:21:20 +0200



               September 11-13, 2012, Vienna, Austria

                          CALL FOR REGISTRATION

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

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)
You are receiving this message because you are a member of the
mailinglist ''.
To unsubscribe from (leave) this mailinglist, please go to this URL:
Received on Do Jun 28 2012 - 09:30:14 CEST

This archive was generated by hypermail 2.3.0 : Mi Mai 22 2024 - 07:16:02 CEST