Fwd: [WI] Datalog 2.0 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** - Cfp

24 Aug 2018


      -------- 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