[Apologies if you receive multiple copies of this email. Please distribute to
interested parties.]
---------------------------------------------------------------------------
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...@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
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info