[PlanetKR] Datalog 2.0 Workshop - Call for Registration

Datalog 2.0 Workshop datalog2.0.announce at gmail.com
Thu Jun 28 00:20:24 EST 2012


THE 2nd WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY

---------- EARLY REGISTRATION DEADLINE QUICKLY APPROACHING -----------

               September 11-13, 2012, Vienna, Austria
               http://www.dbai.tuwien.ac.at/datalog2.0

                          CALL FOR REGISTRATION

EARLY REGISTRATION DEADLINE: July 2nd, 2012
For registration please use:
http://www.dbai.tuwien.ac.at/datalog2.0/registration.html

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

Tutorial:

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)


More information about the PlanetKR mailing list