[Om-announce] Datalog 2.0 2022 - Third Call for Papers

[cfp]

[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-22 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220627/51a3c98c/attachment.htm>