-------- Forwarded Message -------- Subject: [WI] Datalog 2.0 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Date: Thu, 23 Aug 2018 16:31:50 +0000 From: ggelfond@unomaha.edu Reply-To: ggelfond@unomaha.edu To: agents@cs.umbc.edu, algprog@comlab.ox.ac.uk, all@xsb.com, arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es, cade@itu.dk, calendar@computer.org, caml-list@inria.fr, church-announce@cs.bu.edu, church-announce@csr.bu.edu, cipher-cfp@ieee-security.org, clean-list@science.ru.nl, cogsci@cs.tcd.ie, colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk, comm-theory@ieee.org, comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu, comprox@doc.ic.ac.uk, concurrency@cwi.nl, conferences@computer.org, cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk, dl@dl.kr.org, dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov, fmics@inrialpes.fr, formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca, forman@acm.org, formis@dipmat.unipg.it, fp@cs.cmu.edu, gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net, ifip@ifip.or.at, imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca, inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de, kr@kr.org, krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@cs.stanford.edu, logic@math.uni-bonn.de, logic-list@helsinki.fi, maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at, om-announce@openmath.org, ontology@buffalo.edu, planetkr@kr.org, podc-related@acm.org, prog-lang@diku.dk, project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca, semanticweb@yahoogroups.com, sicstus-users@sics.se, sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at, tag@cs.utexas.edu, theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, users@mozart-oz.org, users-prolog@gnu.org, vki-list@dfki.de, webmaster@aisb.org.uk, webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]
---------------------------------------------------------------------------
CALL FOR PAPERS
3rd International Workshop on the Resurgence of Datalog in Academia and Industry
Datalog 2.0 2019
https://sites.sju.edu/plw/datalog/
June 3-5, 2019, Philadelphia, USA
Co-located with LPNMR 2019 at the Philadelphia Logic Week 2019
---------------------------------------------------------------------------
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 3rd International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2019) will be held in Philadelphia, USA, on June 3-5, 2019. Datalog 2.0 2019 is a major event of the Philadelphia Logic Week 2019, which is dedicated to the research on logic, knowledge representation, and reasoning. The other major event of the Philadelphia Logic Week 2019 is the 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019).
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 edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions.
INVITED SPEAKERS
To be announced
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 2019 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/conferenc...
Paper submission is enabled via the Datalog 2.0 2019 EasyChair site:
https://easychair.org/conferences/?conf=datalog2019
The journal Theory and Practice of Logic Programming (TPLP) will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in TPLP, there should be at least 30% new content compared to the published workshop paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details. New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available.
FURTHER INFORMATION
WWW: https://sites.sju.edu/plw/datalog/ Email: datalog2019@easychair.org
IMPORTANT DATES
Paper registration: February 12 Paper submission: February 19 Notification: March 19 Final versions due: April 16
VENUE
Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more.
Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, Datalog 2.0 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City.
GENERAL CHAIR
Nicola Leone, University of Calabria, Italy
PROGRAM CHAIRS
Mario Alviano, University of Calabria, Italy
Andreas Pieris, University of Edinburgh, UK
PUBLICITY CHAIR
Gregory Gelfond, University of Nebraska at Omaha, USA
PROGRAM COMMITTEE
Chitta Baral, Arizona State University, USA
Pablo Barceló, University of Chile, Chile
Leopoldo Bertossi, Carleton University, Canada and RelationalAI Inc.
Meghyn Bienvenu, University of Montpellier, France
Marco Calautti, University of Edinburgh, UK
Andrea Calì, University of London, Birkbeck College, UK
Rada Chirkova, North Carolina State University, USA
Claire David, Universite Paris-Est Marne-la-Vallee, France
Cristina Feier, University of Bremen, Germany
Markus Krötzsch, TU Dresden, Germany
Georg Lausen, University of Freiburg, Germany
Domenico Lembo, Sapienza University of Rome, Italy
Yanhong A. Liu, Stony Brook University, USA
Carsten Lutz, University of Bremen, Germany
Marco Manna, University of Calabria, Italy
Marie-Laure Mugnier, University of Montpellier, France
Reinhard Pichler, Vienna University of Technology, Austria
Emanuel Sallinger, University of Oxford, UK
Mantas Simkus, Vienna University of Technology, Austria
Mirek Truszczynski, University of Kentucky, USA
Stijn Vansummeren, Université Libre de Bruxelles, Belgium
-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi