---------------------------------------------------------------------------
THIRD CALL FOR PAPERS
4th International Workshop on
the Resurgence of Datalog in Academia and Industry
Datalog 2.0 2022
https://tinyurl.com/datalog20-22
September 5, 2022, Genova - Nervi, Italy
Workshop of LPNMR 2022
---------------------------------------------------------------------------
AIMS AND SCOPE
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 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022).
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 and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions.
INVITED SPEAKER
Reinhard Pichler, Vienna University of Technology, Austria
Title: Novel Techniques in Datalog Optimization
Abstract:
Datalog has been specifically designed for processing recursive queries. As such it seems the perfect fit for today's data analytics applications, which typically require some kind of iteration or recursion. However, basic analytical tasks such as computing shortest paths, betweenness centrality, or connected components in a graph as well as solving optimization problems by gradient descent or other methods crucially depend on aggregation. For Datalog, this poses new challenges due to the loss of the usual monotonicity properties in case of aggregation.
In this talk, I will present recent work in which
*) we have studied a generalization of Datalog that allows for recursive computations over general semirings (with classical Datalog corresponding to the special case of the Boolean semiring),
*) we have analyzed the convergence of this generalization of Datalog, and
*) we have introduced a powerful new optimization technique that covers known optimizations such as magic-set rewriting as well as new ones.
This talk is mainly based on the following papers:
[1] Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022.
[2] Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu: Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference 2022.
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, 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.
SUBMISSION
Datalog 2.0 2022 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
The indicated number of pages includes title page and 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, and formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines
Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22
Up to five best regular papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP).
FURTHER INFORMATION
WWW:https://tinyurl.com/datalog20-22
Email:datalog20-22@easychair.org
IMPORTANT DATES
Paper registration: July 1
Paper submission: July 8
Notification: August 1
Final versions due: August 20
VENUE
The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see.
Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List.
Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi".
The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade.
In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west.
Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line.
PROGRAM CHAIRS
Mario Alviano, University of Calabria, Italy
Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus
PUBLICITY CHAIR
Jessica Zangari, University of Calabria, Italy
PROGRAM COMMITTEE
Marcelo Arenas, Pontificia Universidad Católica, Chile
Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada
Marco Calautti, University of Trento, Italy
Esra Erdem, Sabanci University, Turkey
Jorge Fandinno, University of Nebraska, USA
Cristina Feier, University of Bremen, Germany
Roman Kontchakov, Birkbeck, University of London, UK
Paraschos Koutris, University of Wisconsin-Madison, USA
Markus Krötzsch, TU Dresden, Germany
Matthias Lanzinger, University of Oxford, UK
Domenico Lembo, Sapienza University of Rome, Italy
Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy
Yanhong A. Liu, Stony Brook University, USA
Marco Manna, University of Calabria, Italy
Michael Morak, University of Klagenfurt, Austria
Liat Peterfreund, Paris-Est University, France
Torsten Schaub, University of Potsdam, Germany
Mantas Simkus, TU Wien, Austria
Tran Cao Son, New Mexico State University, USA
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
