-------- Forwarded Message -------- Subject: [WI] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Date: Wed, 13 Feb 2019 16:09:11 +0000 From: Gregory Gelfond ggelfond@unomaha.edu Reply-To: Gregory Gelfond ggelfond@unomaha.edu To: agents@cs.umbc.edu agents@cs.umbc.edu, algprog@comlab.ox.ac.uk algprog@comlab.ox.ac.uk, all@xsb.com all@xsb.com, arw-committee@csc.liv.ac.uk arw-committee@csc.liv.ac.uk, babel-group@babel.ls.fi.upm.es babel-group@babel.ls.fi.upm.es, cade@itu.dk cade@itu.dk, calendar@computer.org calendar@computer.org, caml-list@inria.fr caml-list@inria.fr, church-announce@cs.bu.edu church-announce@cs.bu.edu, church-announce@types.bu.edu church-announce@csr.bu.edu, cipher-cfp@ieee-security.org cipher-cfp@ieee-security.org, clean-list@science.ru.nl clean-list@science.ru.nl, cogsci@cs.tcd.ie cogsci@cs.tcd.ie, colognet@ucy.ac.cy colognet@ucy.ac.cy, comlab@comlab.ox.ac.uk comlab@comlab.ox.ac.uk, comm-theory@ieee.org comm-theory@ieee.org, comp-lang-ml@moderators.isc.org comp-lang-ml@moderators.isc.org, complog@cs.nmsu.edu complog@cs.nmsu.edu, comprox@doc.ic.ac.uk comprox@doc.ic.ac.uk, concurrency@cwi.nl concurrency@cwi.nl, conferences@computer.org conferences@computer.org, cphc-conf@jiscmail.ac.uk cphc-conf@jiscmail.ac.uk, cs@ics.forth.gr cs@ics.forth.gr, distributed-ai@jiscmail.ac.uk distributed-ai@jiscmail.ac.uk, dl@dl.kr.org dl@dl.kr.org, dmanet@zpr.uni-koeln.de dmanet@zpr.uni-koeln.de, elsnet-list@elsnet.org elsnet-list@elsnet.org, erlang-questions@erlang.org erlang-questions@erlang.org, event@in.tu-clausthal.de event@in.tu-clausthal.de, fg-arc@lists.uni-paderborn.de fg-arc@lists.uni-paderborn.de, fm-announcements@lists.nasa.gov fm-announcements@lists.nasa.gov, fmics@inrialpes.fr fmics@inrialpes.fr, formal-methods@cs.toronto.edu formal-methods@cs.toronto.edu, formal-methods@cs.utoronto.ca formal-methods@cs.utoronto.ca, forman@acm.org forman@acm.org, formis@dipmat.unipg.it formis@dipmat.unipg.it, fp@cs.cmu.edu fp@cs.cmu.edu, gulp-all@yahoogroups.com gulp-all@yahoogroups.com, gri@informatik.uni-rostock.de gri@informatik.uni-rostock.de, hol-info@lists.sourceforge.net hol-info@lists.sourceforge.net, ifip@ifip.or.at ifip@ifip.or.at, imdea@clip.dia.fi.upm.es imdea@clip.dia.fi.upm.es, inductive@listserv.unb.ca inductive@listserv.unb.ca, inductive-request@listserv.unb.ca inductive-request@listserv.unb.ca, ki-inf@uni-koblenz.de ki-inf@uni-koblenz.de, kr@kr.org kr@kr.org, krlab.admin@gmail.com krlab.admin@gmail.com, lfcs-interest@dcs.ed.ac.uk lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com lics@research.bell-labs.com, linear@cs.stanford.edu linear@cs.stanford.edu, logic@cs.stanford.edu logic@cs.stanford.edu, logic@math.uni-bonn.de logic@math.uni-bonn.de, logic-list@helsinki.fi logic-list@helsinki.fi, maude-users@cs.uiuc.edu maude-users@cs.uiuc.edu, mizar-forum@mizar.uwb.edu.pl mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu nqthm-users@cs.utexas.edu, nvti-list@cwi.nl nvti-list@cwi.nl, nwpt-info@lists.ioc.ee nwpt-info@lists.ioc.ee, oegai@ifs.tuwien.ac.at oegai@ifs.tuwien.ac.at, om-announce@openmath.org om-announce@openmath.org, ontology@buffalo.edu ontology@buffalo.edu, planetkr@kr.org planetkr@kr.org, prog-lang@diku.dk prog-lang@diku.dk, project-calculemus@jacobs-university.de project-calculemus@jacobs-university.de, relmics-l@mcmaster.ca relmics-l@mcmaster.ca, semanticweb@yahoogroups.com semanticweb@yahoogroups.com, sicstus-users@sics.se sicstus-users@sics.se, sigarch-members@listserv.acm.org sigarch-members@listserv.acm.org, sigparse-list@lists.andrew.cmu.edu sigparse-list@lists.andrew.cmu.edu, sigplan-announce@listserv.acm.org sigplan-announce@listserv.acm.org, sigsam-friends@listserv.acm.org sigsam-friends@listserv.acm.org, sigsam-members@listserv.acm.org sigsam-members@listserv.acm.org, sml-list@cs.cmu.edu sml-list@cs.cmu.edu, staff@dbai.tuwien.ac.at staff@dbai.tuwien.ac.at, staff@forsyte.tuwien.ac.at staff@forsyte.tuwien.ac.at, staff@kr.tuwien.ac.at staff@kr.tuwien.ac.at, tag@cs.utexas.edu tag@cs.utexas.edu, theory-a@listserv.nodak.edu theory-a@listserv.nodak.edu, theorynt@listserv.nodak.edu theorynt@listserv.nodak.edu, types@cis.upenn.edu types@cis.upenn.edu, users@mozart-oz.org users@mozart-oz.org, users-prolog@gnu.org users-prolog@gnu.org, vki-list@dfki.de vki-list@dfki.de, webmaster@aisb.org.uk webmaster@aisb.org.uk, webmaster@eatcs.org webmaster@eatcs.org, wi@aifb.uni-karlsruhe.de wi@aifb.uni-karlsruhe.de, yap-users@lists.sourceforge.net yap-users@lists.sourceforge.net, zforum@comlab.ox.ac.uk zforum@comlab.ox.ac.uk, logic-programming@lists.picat-lang.org logic-programming@lists.picat-lang.org, comma@lists.dbai.tuwien.ac.at comma@lists.dbai.tuwien.ac.at
[Apologies if you receive multiple copies of this email. Please distribute to any and all interested parties.]
Deadlines extended!
Register your papers by February 26, and submit them by March 25.
---------------------------------------------------------------------------
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
Michael Gelfond, Texas Tech University, USA (more 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 26 (was February 12) Paper submission: March 5 (was February 19) Notification: April 2 (was March 19) Final versions due: April 30 (was 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