caml-list - the Caml user's mailing list
 help / Atom feed
From: 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@types.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>
Subject: [Caml-list] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION **
Date: Wed, 13 Feb 2019 16:09:11 +0000
Message-ID: <BL0PR07MB578070205098D0BCF63177CCDB660@BL0PR07MB5780.namprd07.prod.outlook.com> (raw)

[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/conference-proceedings-guidelines

  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

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=BL0PR07MB578070205098D0BCF63177CCDB660@BL0PR07MB5780.namprd07.prod.outlook.com \
    --to=ggelfond@unomaha.edu \
    --cc=agents@cs.umbc.edu \
    --cc=algprog@comlab.ox.ac.uk \
    --cc=all@xsb.com \
    --cc=arw-committee@csc.liv.ac.uk \
    --cc=babel-group@babel.ls.fi.upm.es \
    --cc=cade@itu.dk \
    --cc=calendar@computer.org \
    --cc=caml-list@inria.fr \
    --cc=church-announce@cs.bu.edu \
    --cc=church-announce@types.bu.edu \
    --cc=cipher-cfp@ieee-security.org \
    --cc=clean-list@science.ru.nl \
    --cc=cogsci@cs.tcd.ie \
    --cc=colognet@ucy.ac.cy \
    --cc=comlab@comlab.ox.ac.uk \
    --cc=comm-theory@ieee.org \
    --cc=comma@lists.dbai.tuwien.ac.at \
    --cc=comp-lang-ml@moderators.isc.org \
    --cc=complog@cs.nmsu.edu \
    --cc=comprox@doc.ic.ac.uk \
    --cc=concurrency@cwi.nl \
    --cc=conferences@computer.org \
    --cc=cphc-conf@jiscmail.ac.uk \
    --cc=cs@ics.forth.gr \
    --cc=distributed-ai@jiscmail.ac.uk \
    --cc=dl@dl.kr.org \
    --cc=dmanet@zpr.uni-koeln.de \
    --cc=elsnet-list@elsnet.org \
    --cc=erlang-questions@erlang.org \
    --cc=event@in.tu-clausthal.de \
    --cc=fg-arc@lists.uni-paderborn.de \
    --cc=fm-announcements@lists.nasa.gov \
    --cc=fmics@inrialpes.fr \
    --cc=formal-methods@cs.toronto.edu \
    --cc=formal-methods@cs.utoronto.ca \
    --cc=forman@acm.org \
    --cc=formis@dipmat.unipg.it \
    --cc=fp@cs.cmu.edu \
    --cc=gri@informatik.uni-rostock.de \
    --cc=gulp-all@yahoogroups.com \
    --cc=hol-info@lists.sourceforge.net \
    --cc=ifip@ifip.or.at \
    --cc=imdea@clip.dia.fi.upm.es \
    --cc=inductive-request@listserv.unb.ca \
    --cc=inductive@listserv.unb.ca \
    --cc=ki-inf@uni-koblenz.de \
    --cc=kr@kr.org \
    --cc=krlab.admin@gmail.com \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=lics@research.bell-labs.com \
    --cc=linear@cs.stanford.edu \
    --cc=logic-list@helsinki.fi \
    --cc=logic-programming@lists.picat-lang.org \
    --cc=logic@cs.stanford.edu \
    --cc=logic@math.uni-bonn.de \
    --cc=maude-users@cs.uiuc.edu \
    --cc=mizar-forum@mizar.uwb.edu.pl \
    --cc=nqthm-users@cs.utexas.edu \
    --cc=nvti-list@cwi.nl \
    --cc=nwpt-info@lists.ioc.ee \
    --cc=oegai@ifs.tuwien.ac.at \
    --cc=om-announce@openmath.org \
    --cc=ontology@buffalo.edu \
    --cc=planetkr@kr.org \
    --cc=prog-lang@diku.dk \
    --cc=project-calculemus@jacobs-university.de \
    --cc=relmics-l@mcmaster.ca \
    --cc=semanticweb@yahoogroups.com \
    --cc=sicstus-users@sics.se \
    --cc=sigarch-members@listserv.acm.org \
    --cc=sigparse-list@lists.andrew.cmu.edu \
    --cc=sigplan-announce@listserv.acm.org \
    --cc=sigsam-friends@listserv.acm.org \
    --cc=sigsam-members@listserv.acm.org \
    --cc=sml-list@cs.cmu.edu \
    --cc=staff@dbai.tuwien.ac.at \
    --cc=staff@forsyte.tuwien.ac.at \
    --cc=staff@kr.tuwien.ac.at \
    --cc=tag@cs.utexas.edu \
    --cc=theory-a@listserv.nodak.edu \
    --cc=theorynt@listserv.nodak.edu \
    --cc=types@cis.upenn.edu \
    --cc=users-prolog@gnu.org \
    --cc=users@mozart-oz.org \
    --cc=vki-list@dfki.de \
    --cc=webmaster@aisb.org.uk \
    --cc=webmaster@eatcs.org \
    --cc=wi@aifb.uni-karlsruhe.de \
    --cc=yap-users@lists.sourceforge.net \
    --cc=zforum@comlab.ox.ac.uk \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox