-------- Forwarded Message --------
Subject: [AISWorld] CfP 7th International Workshop on Cognitive Aspects
of Information Systems Engineering - COGNISE'19
Date: Fri, 15 Feb 2019 09:36:45 +0200
From: Irit Hadar <hadari(a)is.haifa.ac.il>
To: aisworld(a)lists.aisnet.org
Dear colleagues,
The 7th International Workshop on Cognitive Aspects of Information
Systems Engineering - COGNISE'19
will take place in conjunction with CAiSE'19
4 June 2019, Rome, Italy
https://sites.google.com/is.haifa.ac.il/cognise2019
<https://sites.google.com/is.haifa.ac.il/cognise2019>
Important Dates:
Paper submission deadline: 4th March 2019 *final - no extentions*
Notification of acceptance: 25th March 2019
Camera ready: 29th March 2019
Workshop day: 4th June 2019
Scope:
Cognitive aspects of information systems engineering is an area that is
gaining interest and importance in industry and research. In recent
years, human aspects and specifically cognitive aspects in software
engineering and information systems engineering have received increasing
attention in literature and conferences, acknowledging that these
aspects are as important as the technical ones, which have traditionally
been in the center of attention. The goal of this workshop is to provide
a better understanding and more appropriate support of the cognitive
processes and challenges practitioners experience when performing
information systems development activities. Understanding the challenges
and needs, educational programs as well as development supporting tools
and notations may be enhanced for a better fit to our natural cognition,
leading to better performance of engineers and higher systems' quality.
The list of topics that are relevant to the workshop includes, but is
not limited to:
Identification of challenges in IS development sourced by cognitive aspects:
o Cognitive processes, difficulties and challenges in IS development
o Collaborative/distributed cognition in teamwork
o Social, managerial and cultural effects on individual cognition
o Cognition-related characteristics of different development methods,
notations and paradigms
Proposed solutions for supporting cognitive processes in IS development:
o Development practices and supporting tools
o Visual models
o Designated knowledge management solutions
o Solutions based on gamification or serious games
Forming new thinking paradigms in the era of immersive and wearable
technologies:
o Existing and future challenges of IS designers in understanding users'
cognitive needs when interacting with virtual/augmented reality and/or
wearables
o Cognitive challenges induced by shifting to the IS architecture and
design approaches for these technologies
o Using immersive technologies for supporting cognitive processes in IS
development
Educational aspects of IS development:
o Learning processes in IS development
o Education programs, methods and tools
o Teaching cases
Workshop Organizers:
Irit Hadar, University of Haifa, Israel, hadari(a)is.haifa.ac.il
<mailto:hadari@is.haifa.ac.il><mailto:hadari@is.haifa.ac.il
<mailto:hadari@is.haifa.ac.il>>
Irene Vanderfeesten, Eindhoven University of Technology, The
Netherlands, I.T.P.Vanderfeesten(a)tue.nl
<mailto:I.T.P.Vanderfeesten@tue.nl><mailto:I.T.P.Vanderfeesten@tue.nl
<mailto:I.T.P.Vanderfeesten@tue.nl>>
Barbara Weber, Technical University of Denmark, Denmark, bweb(a)dtu.dk
<mailto:bweb@dtu.dk><mailto:bweb@dtu.dk <mailto:bweb@dtu.dk>>
Paper submission:
Manuscripts should be submitted to the workshop in PDF format via the
EasyChair system available at the workshop website.
Submitted papers will be evaluated on the basis of significance,
originality and technical quality. Papers should clearly establish the
research contribution and the relation to previous research. The
submission should emphasize the discussion of aspects relevant to the
workshop.
For more information:
https://sites.google.com/is.haifa.ac.il/cognise2019
<https://sites.google.com/is.haifa.ac.il/cognise2019>
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [WI] CFP: ICLP 2019 - Sister Conferences and Journal
Presentation Track
Date: Thu, 14 Feb 2019 00:50:29 +0000
From: Fioretto, Ferdinando <fioretto.ferdinando(a)isye.gatech.edu>
Reply-To: Fioretto, Ferdinando <fioretto.ferdinando(a)isye.gatech.edu>
Apologiesforcross-posting
*ICLP 2019 Sister Conferences and Journal Presentation Track - Call for
Papers*
The program committee of the 35th International Conference on Logic
Programming (ICLP) invites submissions of published journal papers and
papers presented at related conferences for the Sister Conferences and
Journal Presentation Track.
The track is designed to provide a forum to discuss important results
related to logic programming that appeared since 2017 in selective
journals or were presented recently at related conferences but, but that
have not been previously presented at ICLP.
The goal of this track is twofold:
* To provide authors an opportunity to present at the conference
important results published in journals that might otherwise not be
submitted to the conference due to their length and complexity.
Papers that differ from traditional ICLP format and topics are welcome.
* To broaden the program with lines of work at the intersection
between logic programming and related fields such as for example
constraint programming, operations research, control, knowledge
representation and reasoning, machine learning, multi-agent systems,
robotics, computer games, and cognitive science. Papers that use
logic programming in some innovative way are welcome.
*Paper Presentation*
All accepted submissions will be presented orally during the conference
- at least one author is expected to register to ICLP 2019 and to
present the paper in person. Complete citations and URLs of the original
papers (if available from the publisher) will be published on the ICLP
2019 web site as a permanent reference. A 2-page extended abstract
summarizing the line of research leading to the presented results can
optionally be submitted for presentation in the technical communications
of ICLP.
Submission Requirements
Submissions must meet the following criteria:
* Candidate papers must be published in a journal such as (but not
limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the
proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI,
IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC,
DL, JELIA, …
* Candidate papers must have appeared since 2017.
* Papers that are in press may be submitted as long as the final
camera-ready version is available.
* Extensions of papers that have been previously presented at ICLP are
not eligible for this track.
*Submission Process*
All submissions will be done via EasyChair
(https://easychair.org/conferences/overview.cgi?a=20693669). The
submission will be in the following format:
* Title of the original journal paper (to be published on the Web);
* Complete reference of the original paper (to be published on the Web);
* URL where the paper can be downloaded from the publisher (if
available) (to be published on the Web);
* An accompanying letter containing an explanation of why this paper
is interesting to the logic programming community (in PDF);
* A copy of the paper with its final camera-ready contents (in PDF).
* A 2-page extended abstract of the paper (in PDF, LNCS format)
(optional: only if the authors wish to publish such an extended
abstract in the technical communications of ICLP).
Submissions will go through a selection process. Selection criteria
include significance of the results and relevance to the logic
programming community.
*Important Dates*
* Submission deadline: June 27th, 2019
* Notification of acceptance: July 15, 2019
* Conference: September 21-25, 2019
*Journal Presentation Track Chairs*
* Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts(a)vub.be
<mailto:bart.bogaerts@vub.be>
* Giovambattista Ianni, University of Calabria, ianni(a)unical.it
<mailto:ianni@unical.it>
--
Mailing-Liste: wi(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi
-------- Forwarded Message --------
Subject: [WI] ICLP 2019 - Application Track
Date: Wed, 13 Feb 2019 23:45:37 +0000
From: Fioretto, Ferdinando <fioretto.ferdinando(a)isye.gatech.edu>
Reply-To: Fioretto, Ferdinando <fioretto.ferdinando(a)isye.gatech.edu>
Apologies for cross-posting
** CALL FOR PAPERS **
*The 35th International Conference on Logic Programming (ICLP 2019)*
*Applications Track*
September 21-25, 2019
Las Cruces, New Mexico (USA)
https://www.cs.nmsu.edu/ALP/iclp2019/
-------------------------------------------------------------------------
*Objectives*
Logic programming (LP) has been widely adopted as a powerful declarative
programming paradigm to build a variety of applications from research
projects to industrial products, including bioinformatics, natural
language understanding, robotics, etc. Motivated by such a wide range of
applications, this year ICLP will have a special track dedicated to
Applications of LP, to bring together LP researchers and practitioners
from both academia and industry communities to share the recent
advancement, challenge and insight for LP applications.
The goal of the Application Track is two-folded. On the one side, it
aims at providing a fresh impulse for the LP community to recast its
interests towards solving practical problems and applications. On the
other side, its goal is to attract representatives from the wider
academia and industrial communities to discuss their challenges related
to using LP in practical problems, applications and industrial products
and their expectations of the development of theory and tools from LP
community.
*Expected contributions*
The Applications Track at ICLP 2019 invites submissions of papers on
emerging and deployed applications of LP, describing all aspects of the
development, deployment, and evaluation of LP systems to solve
real-world problems, including interesting case studies and benchmarks,
and discussing lessons learned.
We welcome LP applications in a wide range of areas, including but not
limited to:
* industrial applications
* commonsense reasoning, knowledge representation
* declarative problem solving
* education
* bioinformatics, computational biology
* life sciences, genetics, medicine, pharmacology
* cognitive robotics, social robotics, human-robot interactions
* intelligent transportation, logistics
* computer vision, sensing, internet of things
* data analysis, machine learning
* creative computing
* digital forensics, cybersecurity, blockchain
* economics, game theory, social choice
* software engineering, intelligent user interfaces
* multi-agent systems, argumentation, epistemic reasoning
* constraint programming, SAT, SMT
* natural language understanding, story telling, question answering
* explanation generation, diagnosis
* spatial/temporal/probabilistic reasoning
* planning and scheduling
* databases, ontologies, knowledge bases, Semantic Web
*Evaluation Criteria*
In this track, selection process of the highest quality papers will
apply the following criteria:
* Significance of the real-world problem being addressed
* Importance and novelty of using logic programming technologies to
solve this problem
* Evaluation and applicability of the system in real-world
* Reusability of datasets, case studies and benchmarks
*Important Dates*
* Abstract registration: April 27, 2019
* Paper submission: May 4, 2019
* Notification: June 19, 2019
* TPLP revision submission: July 3, 2019
* TPLP final notifications: July 17, 2019
* Camera-ready copy: July 31, 2017
* Conference: September 21-25, 2019
*Submission Details*
All submissions must be written in English.
* Regular papers (14 pages in TPLP format, including references) must
describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere. These
restrictions do not apply to previously accepted workshop papers
with a limited audience and/or without archival proceedings. The
accepted regular papers will be published in TPLP, along with the
selected ICLP-TPLP papers.
The program committee may recommend some regular papers to be published
as technical communications (TCs), along with the selected ICLP-TC
papers. The authors of the TCs can also elect to convert their
submissions into extended abstracts (2 or 3 pages) for inclusion in the
OASIcs proceedings. This should allow authors to submit a long version
elsewhere.
* Short papers (7 pages in OASIcs format, including references) can
describe published research. The accepted short papers that describe
original and previously unpublished work will be published as TCs,
along with the selected ICLP-TC papers. The accepted short papers
that describe published research will be made available at the
conference webpage, with the permission of the authors.
All accepted regular papers and technical communications will be
presented during the conference. Authors of accepted papers will, by
default, be automatically included in the list of ALP members, who will
receive quarterly updates from the Logic Programming Newsletter at no cost.
Any additional questions can be directed towards the Application Track
Chairs:
Andrea Formisano, Università di Perugia
andrea.formisano(a)unipg.it <mailto:andrea.formisano@unipg.it>
Fangkai Yang, NVIDIA Corporation
wolfgang.yang(a)gmail.com <mailto:wolfgang.yang@gmail.com>
*Applications Track Program Committee*
* Chitta Baral (Arizona State University, USA)
* Alex Brik (Google Inc, USA)
* Francesco Calimeri (University of Calabria, Italy)
* Xiaoping Chen (University of Science and Technology of China)
* Federico Chesani (University of Bologna, Italy)
* Martín Diéguez (ENIB, France)
* Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria)
* Gopal Gupta (University of Texas at Dallas, USA)
* Jianmin Ji (University of Science and Technology of China, China)
* Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany)
* Zeynep Kiziltan (University of Bologna, Italy)
* Viviana Mascardi (University of Genova, Italy)
* Yunsong Meng (Houzz Inc., USA)
* Francesco Ricca (University of Calabria, Italy)
* Mohan Sridharan (University of Birmingham, UK)
* David Warren (SUNY Stony Brook, USA)
* Shiqi Zhang (SUNY Binghamton, USA)
* Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA)
--
Mailing-Liste: wi(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi
-------- Forwarded Message --------
Subject: [AISWorld] CFP -- ISECON 2019 -- Galveston, TX -- April 4-6, 2019
Date: Wed, 13 Feb 2019 14:21:14 -0600
From: Brian Reithel <breithel(a)bus.olemiss.edu>
To: aisworld(a)lists.aisnet.org
Information Systems Education Conference
ISECON 2019
April 4-6, 2019
Galveston, TX
Paper submission deadline:
February 28, 2019 (to be considered for proceedings and journal)
ABSTRACTS WELCOME!
Dear Colleague,
Please consider submitting a paper to ISECON 2019 this year. Since 1982,
the ISECON conference has provided a wonderful opportunity for CIS, MIS,
IT, and CS faculty members from a wide variety of institutions -- including
international attendees -- to gather, share experiences, and learn from
each other. We continue that legacy of delivering a collegial environment
for intellectual and professional growth this year in the beautiful beach
city of Galveston, Texas.
More information about the conference, including the Call for Papers and
the online paper submission facility, can be found at:
http://www.isecon.org
The conference theme for 2019 is "Everything Online All the Time
Everywhere: New Horizons in Information Technology".
At this year's conference, many of the discussions will revolve around
emerging technologies and techniques that will address IS-related
opportunities and challenges expected to arise over the next decade.
Participants will also explore new perspectives on legacy technologies and
their continuing evolution in this new and challenging marketplace.
Papers are invited on the following topics and other issues related to
expected changes in IS education between now and 2029:
* Mobile Applications
* HTML5 and Web Application Development
* Cloud-based Systems
* Scalable Architectures
* Software as a Service (SaaS), Platform as a Service (PaaS), and
Infrastructure as a Service (IaaS)
* Data Warehouse Systems
* Big Data and Analytical Systems
* NoSQL and Other Emerging Database Technologies
* Classical and In-Memory Database Systems
* Networking Concepts
* Agile Development
* Online Learning
* Teaching Tools
* IS Cases and Case-Based Teaching
* Effective Pedagogy for IS Education
* Research in Progress
* Student Papers
* On-Demand Training, Education, and Learning
* Accreditation, Assessment, and Curriculum for IS Education
* Ethics, Privacy, and Intellectual Property in a Connected World
* Globalization and Information Systems
* Intelligent Systems
* Knowledge Management Systems
* Internet of Things
* Electronic Commerce
* IT Security and Digital Forensics
* Bring Your Own Device (BYOD)
* Emerging Technologies
Each year, ISECON benefits from the involvement of a number of repeat
attendees as well as new participants. We encourage you to please share
the news about this year’s conference with anyone you know who might be
interested in this long-standing and welcoming academic conference.
Thanks and hope to see you in the beautiful beach city of Galveston, TX,
Brian Reithel
ISECON 2019 Program Chair
breithel(a)bus.olemiss.edu
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- 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(a)unomaha.edu>
Reply-To: Gregory Gelfond <ggelfond(a)unomaha.edu>
To: agents(a)cs.umbc.edu <agents(a)cs.umbc.edu>, algprog(a)comlab.ox.ac.uk
<algprog(a)comlab.ox.ac.uk>, all(a)xsb.com <all(a)xsb.com>,
arw-committee(a)csc.liv.ac.uk <arw-committee(a)csc.liv.ac.uk>,
babel-group(a)babel.ls.fi.upm.es <babel-group(a)babel.ls.fi.upm.es>,
cade(a)itu.dk <cade(a)itu.dk>, calendar(a)computer.org
<calendar(a)computer.org>, caml-list(a)inria.fr <caml-list(a)inria.fr>,
church-announce(a)cs.bu.edu <church-announce(a)cs.bu.edu>,
church-announce(a)types.bu.edu <church-announce(a)csr.bu.edu>,
cipher-cfp(a)ieee-security.org <cipher-cfp(a)ieee-security.org>,
clean-list(a)science.ru.nl <clean-list(a)science.ru.nl>, cogsci(a)cs.tcd.ie
<cogsci(a)cs.tcd.ie>, colognet(a)ucy.ac.cy <colognet(a)ucy.ac.cy>,
comlab(a)comlab.ox.ac.uk <comlab(a)comlab.ox.ac.uk>, comm-theory(a)ieee.org
<comm-theory(a)ieee.org>, comp-lang-ml(a)moderators.isc.org
<comp-lang-ml(a)moderators.isc.org>, complog(a)cs.nmsu.edu
<complog(a)cs.nmsu.edu>, comprox(a)doc.ic.ac.uk <comprox(a)doc.ic.ac.uk>,
concurrency(a)cwi.nl <concurrency(a)cwi.nl>, conferences(a)computer.org
<conferences(a)computer.org>, cphc-conf(a)jiscmail.ac.uk
<cphc-conf(a)jiscmail.ac.uk>, cs(a)ics.forth.gr <cs(a)ics.forth.gr>,
distributed-ai(a)jiscmail.ac.uk <distributed-ai(a)jiscmail.ac.uk>,
dl(a)dl.kr.org <dl(a)dl.kr.org>, dmanet(a)zpr.uni-koeln.de
<dmanet(a)zpr.uni-koeln.de>, elsnet-list(a)elsnet.org
<elsnet-list(a)elsnet.org>, erlang-questions(a)erlang.org
<erlang-questions(a)erlang.org>, event(a)in.tu-clausthal.de
<event(a)in.tu-clausthal.de>, fg-arc(a)lists.uni-paderborn.de
<fg-arc(a)lists.uni-paderborn.de>, fm-announcements(a)lists.nasa.gov
<fm-announcements(a)lists.nasa.gov>, fmics(a)inrialpes.fr
<fmics(a)inrialpes.fr>, formal-methods(a)cs.toronto.edu
<formal-methods(a)cs.toronto.edu>, formal-methods(a)cs.utoronto.ca
<formal-methods(a)cs.utoronto.ca>, forman(a)acm.org <forman(a)acm.org>,
formis(a)dipmat.unipg.it <formis(a)dipmat.unipg.it>, fp(a)cs.cmu.edu
<fp(a)cs.cmu.edu>, gulp-all(a)yahoogroups.com <gulp-all(a)yahoogroups.com>,
gri(a)informatik.uni-rostock.de <gri(a)informatik.uni-rostock.de>,
hol-info(a)lists.sourceforge.net <hol-info(a)lists.sourceforge.net>,
ifip(a)ifip.or.at <ifip(a)ifip.or.at>, imdea(a)clip.dia.fi.upm.es
<imdea(a)clip.dia.fi.upm.es>, inductive(a)listserv.unb.ca
<inductive(a)listserv.unb.ca>, inductive-request(a)listserv.unb.ca
<inductive-request(a)listserv.unb.ca>, ki-inf(a)uni-koblenz.de
<ki-inf(a)uni-koblenz.de>, kr(a)kr.org <kr(a)kr.org>, krlab.admin(a)gmail.com
<krlab.admin(a)gmail.com>, lfcs-interest(a)dcs.ed.ac.uk
<lfcs-interest(a)dcs.ed.ac.uk>, lics(a)research.bell-labs.com
<lics(a)research.bell-labs.com>, linear(a)cs.stanford.edu
<linear(a)cs.stanford.edu>, logic(a)cs.stanford.edu <logic(a)cs.stanford.edu>,
logic(a)math.uni-bonn.de <logic(a)math.uni-bonn.de>, logic-list(a)helsinki.fi
<logic-list(a)helsinki.fi>, maude-users(a)cs.uiuc.edu
<maude-users(a)cs.uiuc.edu>, mizar-forum(a)mizar.uwb.edu.pl
<mizar-forum(a)mizar.uwb.edu.pl>, nqthm-users(a)cs.utexas.edu
<nqthm-users(a)cs.utexas.edu>, nvti-list(a)cwi.nl <nvti-list(a)cwi.nl>,
nwpt-info(a)lists.ioc.ee <nwpt-info(a)lists.ioc.ee>, oegai(a)ifs.tuwien.ac.at
<oegai(a)ifs.tuwien.ac.at>, om-announce(a)openmath.org
<om-announce(a)openmath.org>, ontology(a)buffalo.edu <ontology(a)buffalo.edu>,
planetkr(a)kr.org <planetkr(a)kr.org>, prog-lang(a)diku.dk
<prog-lang(a)diku.dk>, project-calculemus(a)jacobs-university.de
<project-calculemus(a)jacobs-university.de>, relmics-l(a)mcmaster.ca
<relmics-l(a)mcmaster.ca>, semanticweb(a)yahoogroups.com
<semanticweb(a)yahoogroups.com>, sicstus-users(a)sics.se
<sicstus-users(a)sics.se>, sigarch-members(a)listserv.acm.org
<sigarch-members(a)listserv.acm.org>, sigparse-list(a)lists.andrew.cmu.edu
<sigparse-list(a)lists.andrew.cmu.edu>, sigplan-announce(a)listserv.acm.org
<sigplan-announce(a)listserv.acm.org>, sigsam-friends(a)listserv.acm.org
<sigsam-friends(a)listserv.acm.org>, sigsam-members(a)listserv.acm.org
<sigsam-members(a)listserv.acm.org>, sml-list(a)cs.cmu.edu
<sml-list(a)cs.cmu.edu>, staff(a)dbai.tuwien.ac.at
<staff(a)dbai.tuwien.ac.at>, staff(a)forsyte.tuwien.ac.at
<staff(a)forsyte.tuwien.ac.at>, staff(a)kr.tuwien.ac.at
<staff(a)kr.tuwien.ac.at>, tag(a)cs.utexas.edu <tag(a)cs.utexas.edu>,
theory-a(a)listserv.nodak.edu <theory-a(a)listserv.nodak.edu>,
theorynt(a)listserv.nodak.edu <theorynt(a)listserv.nodak.edu>,
types(a)cis.upenn.edu <types(a)cis.upenn.edu>, users(a)mozart-oz.org
<users(a)mozart-oz.org>, users-prolog(a)gnu.org <users-prolog(a)gnu.org>,
vki-list(a)dfki.de <vki-list(a)dfki.de>, webmaster(a)aisb.org.uk
<webmaster(a)aisb.org.uk>, webmaster(a)eatcs.org <webmaster(a)eatcs.org>,
wi(a)aifb.uni-karlsruhe.de <wi(a)aifb.uni-karlsruhe.de>,
yap-users(a)lists.sourceforge.net <yap-users(a)lists.sourceforge.net>,
zforum(a)comlab.ox.ac.uk <zforum(a)comlab.ox.ac.uk>,
logic-programming(a)lists.picat-lang.org
<logic-programming(a)lists.picat-lang.org>, comma(a)lists.dbai.tuwien.ac.at
<comma(a)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/conferen…
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(a)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(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi
-------- Forwarded Message --------
Subject: [AISWorld] NITIM 2019 Summer School/ Doctoral consortium, June
13th – 15th, 2019, Nice, France
Date: Wed, 13 Feb 2019 14:22:58 +0000
From: Klein, Stefan <Stefan.Klein(a)wi.uni-muenster.de>
To: AISWorld(a)lists.aisnet.org <AISWorld(a)lists.aisnet.org>
The NITIM 2019 Summer School/ Doctoral consortium will take place June 13th
– 15th, 2019 in Nice, France, just before the
<http://www.ice-conference.org/> ICE/IEEE conference. We invite PhD
candidates to submit proposals for evaluation. For those who have just
started their PhD program, we look forward to receiving a research proposal.
For those in their late stage of their Ph.D., you are encouraged to submit a
relevant piece for your research (a paper, an overview, or a chapter of your
PhD thesis).
The admission to the school will be based on the review of an extended
abstracts (download template) which should be sent by email to
nitim.contact(a)gmail.com <mailto:nitim.contact@gmail.com> . The deadline for
submission of the Extended Abstract is March 20th (midnight CET).
Notification of acceptance of the school will be sent by April 3rd in order
to facilitate the early booking of flights and accommodation. The full
proposal (or paper), which will form the basis of the discussion and
feedback at the Summer School, is due by May 8th.
The NITIM Schools facilitate the development of doctoral research in the
interdisciplinary field of Networks, Information, Technology and Innovation
Management, bringing together PhD candidates and faculty members in a
focused, in-depth, and constructive discussion of the candidates’ research
work. This summer school is affiliated to the ICE/IEEE conference, which
this year takes place right after our Summer School.
The participation fee for the Summer School will be around 325 EUR Early
Bird price and 375 EUR regular price (including consortium, lunches and
dinners). As usual, we will try to offer a special combo-price for people
joining both the ICE and NITIM, which will be announced soon on our homepage
( <http://www.ice-conference.org/Registration.aspx>
www.ice-conference.org/Registration.aspx).
NITIM Summer School 2019 - Important deadlines
* Extended Abstract submission March
20th, 2019
* Notification of Acceptance
April 3rd, 2019
* Full Proposal Submission May
8th, 2019
* Full Proposal Feedback May
29th, 2019
* 2019 Summer School in Nice June
13th - 15th, 2019
Local chairs
Brunelle Marche, Laurent Dupont & Mauricio Camargo (Université de Lorraine,
FR)
Program committee
Roland Ortt (TU Delft, NL)
Stefan Klein (Universität Münster, DE)
Guido Baltes (HTWG Konstanz, DE)
Hanna Bahemia (Newcastle University, GB)
David Romero (Tecnológico de Monterrey, MX)
Francesc Miralles (La Salle, Universitat Ramon Llull, ES)
School Chair
Ferney Osorio (Université de Lorraine, FR).
If you have any questions, please feel free to contact:
nitim.contact(a)gmail.com <mailto:nitim.contact@gmail.com>
For further information, please follow:
<http://www.ice-conference.org/Conference/NITIM.aspx>
http://www.ice-conference.org/Conference/NITIM.aspx
Dr. Stefan Klein
Professor for Interorganizational Systems
School of Business and Economics
University of Muenster, Germany
-------- Forwarded Message --------
Subject: [AISWorld] CfP 'Future Internet' - SI on 'Big Data Analytics
and Artificial Intelligence' - Open Access Journal
Date: Wed, 13 Feb 2019 11:37:53 +0100
From: Claudia Loebbecke <claudia.loebbecke(a)uni-koeln.de>
To: aisworld(a)lists.aisnet.org
The journal <http://www.mdpi.com/journal/futureinternet> Future Internet
(ISSN 1999-5903, indexed in Scopus and ESCI) is currently running a
<http://www.mdpi.com/journal/futureinternet/special_issues/Big_Data_Analytic
s_Artificial_Intelligence> Special Issue entitled "Big Data Analytics and
Artificial Intelligence". (see
www.mdpi.com/journal/futureinternet/special_issues/Big_Data_Analytics_Artifi
cial_Intelligence).
Relevant Dates:
- Submission deadline: July 25, 2019.
- Latest publication in case of acceptance: August 31, 2019
Submitted papers must not be under consideration for publication elsewhere.
<http://www.mdpi.com/journal/futureinternet> Future Internet is fully open
access (unlimited and free access by readers). Article Processing Charges of
CHF 1000 (Swiss Francs) apply to accepted papers. The journal kindly allows
us to offer a 10% discount if you submit to this Special Issue.
For further details on the submission process, please see the
<http://www.mdpi.com/journal/sensors/instructions> instructions for authors
at the journal website.
Sincerely,
SI Guest Editors
Claudia Loebbecke (University of Cologne, Germany)
Gun-Woong Lee (SungKyunKwan University, South Korea), and
Stefan Cremer (University of Cologne, Germany)
Future Internet Managing Editor
Harry Fu (harry.fu(a)mdpi.com)
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] ICADIWT 2019
Date: Tue, 12 Feb 2019 15:51:40 +0530
From: diwt(a)dirf.org
To: aisworld(a)lists.aisnet.org
The Tenth International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2019)
May 20-22, 2019, Casablanca, Morocco
July 07-09, 2019
Luton, UK
(www.socio.org.uk/icadiwt)
The Tenth International Conference on the Applications of Digital
Information and Web Technologies (ICADIWT 2019) is a forum for
researchers to present the intensive and innovative research, ideas,
developments and applications in the areas of Computer Communications,
Communication networks, Communication Software Communication
Technologies and Applications, and other related themes.
This conference (ICADIWT Edition IX) will include presentations of
contributed papers and state-of-the-art lectures by invited keynote
speakers. Digital Technologies is embeeded in the research activiites of
large number of people and it ensures the Ubiquitous reaching of more
number of people in the recent years. Research in digital technologies
has been carried out in many directions using various resources and
tools and on the other side, the application issues are addressed by
more volume of researchers not necessarily limited to information and
computing technology. Thus the proposed conference series realize its
value and potential and manifest the requirements in the form of the
international conference. This edition will address the following
outlined themes (but not limited to)
Internet Communication
Internet Technologies
Web Applications
Internet Software
Data Access and Transmission
Digital Communication Software
Digital Networks
Web Communication Interfaces
Adaptive Systems
Internet of Things
Internet of breath
Augmented Reality
Databases and applications
Web Systems Engineering Design
Intelligent Agent systems
Semantic Web Studies
Adaptive Web applications and personalization
Actuators and sensors
Robotics and Machine Vision
Vibration and noise control
Smart cities and structures
Control
Automation
Human-machine interfaces
Real-time simulation
Digital Technologies for Mechanical and other designs
Publication and Indexing
The accepted full papers will be published in the IOS series (Frontiers
in Artificial Intelligence and Applications (FAIA))and submitted for
inclusion in many indexes. Accepted full papers will be submitted for
indexing to multiple abstract and indexing partners. The papers will be
indexed in many databases as given at
http://www.frontiersinai.com/?q=indexing
The accepted papers will be published as a post-conference publication.
During the conference, the pre-conference volume will be distributed.
The previous ICADIWT proceedings ars indexed in Web of Science
Honorary Chairs
Jolanta Mizera-Pietraszko, (Opole University, Poland)
Co-Chair
Chafik Okar, ENSA, Hassan 1st University, Berrechid, Morocco.
General Chairs
Abdelali El Bouchti, Institute for Forecasting and Futuristics (I2F),
FS, Hassan 2nd University, Casablanca, Morocco
Program Chairs
Yao-Liang Chung, National Taiwan Ocean University, Taiwan
Ricardo Rodriguez Jorge, (Autonomous University of Ciudad Juarez, Mexico)
Important Dates
Submission of papers (Morocco/UK) March 01, 2019/April 01, 2019
Notification (Morocco/UK) April 01, 2019/May 01, 2019
Camera ready (Morocco/UK) May 01, 2019/June 01, 2019
Registration(Morocco/UK) May 01, 2019/June 01, 2019
Conference Dates (Morocco/UK) May 20-22, 2019/July 07-09, 2019
Paper Submission at http://www.socio.org.uk/icadiwt/paper-submission/
Contact: icadiwt(a)socio.org.uk or diwt(a)dirf.org
----------------------
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] ToC IJISCRAM 10(2) International Journal of
Information Systems for Crisis Response and Management
Date: Mon, 11 Feb 2019 23:50:21 -0800
From: Murray Jennex <mjennex(a)sdsu.edu>
To: aisworld(a)lists.aisnet.org
Abstract Announcement for International Journal of Information Systems for
Crisis Response and Management (IJISCRAM) 10(2)The contents of the latest
issue of:
*International Journal of Information Systems for Crisis Response and
Management (IJISCRAM)*
*An Official Publication of the ISCRAM Association
<http://www.iscram.org/category-membership/>*
Volume 10, Issue 2, April - June 2018
Indexed by: INSPEC
*For a complete list of indexing and abstracting services that include this
journal, please reference the bottom of this announcement.*
Published: Quarterly in Print and Electronically
ISSN: 1937-9390; EISSN: 1937-9420;
Published by IGI Global Publishing, Hershey, USA
www.igi-global.com/ijiscram
<https://www.igi-global.com/journal/international-journal-information-system…>
Editor-in-Chief: Víctor Amadeo Bañuls Silvera (Universidad Pablo de
Olavide, Spain) and Murray E. Jennex (San Diego State University, USA)
*Note: The International Journal of Information Systems for Crisis Response
and Management (IJISCRAM) has an Open Access option, which allows
individuals and institutions unrestricted access to its published content.
Unlike traditional subscription-based publishing models, open access
content is available without having to purchase or subscribe to the journal
in which the content is published. All IGI Global manuscripts are accepted
based on a double-blind peer review editorial process.*
*ARTICLE 1*
When Things Go Right in Disasters: The Moderating Effect of Specific
Knowledge on Task Performance
Arvind Gudi (Nova Southeastern University, Fort Lauderdale, USA), Weidong
Xia (Florida International University, Miami, USA), Irma Becerra-Fernandez
(Marymount University, Arlington, USA)
Since emergency management tasks are complex and knowledge intensive, task
performance is dependent on the dynamic interplays among task
characteristics, the type of knowledge involved and the ways in which such
knowledge is effectively integrated. Based on literature reviews, extensive
field observations and a survey of emergency managers involved in a large
emergency operations center (EOC) in the southeast region of the US, the
authors test a set of research hypotheses that depict the moderating role
of knowledge specificity on the relationship between task complexity and
task performance, and between knowledge integration and task performance.
The authors conceptualize two dimensions of task complexity: components and
interactive complexity. Two types of specific knowledge,
discipline-specific and context-specific knowledge, are measured. The
results indicate that the two task complexity dimensions negatively affect
task performance, knowledge integration positively affects task
performance, and these relationships are moderated by the type of specific
knowledge that is used.
To obtain a copy of the entire article, click on the link below.
www.igi-global.com/article/when-things-go-right-in-disasters/222737
To read a PDF sample of this article, click on the link below.
www.igi-global.com/viewtitlesample.aspx?id=222737
*ARTICLE 2*
Materiality Matters When Organizing for Crisis Management
Martina E Granholm (Mid Sweden University, Sundsvall, Sweden)
Sensemaking is the process to make sense of an unknown event. Research on
the contribution of materiality in sensemaking is currently an area in need
of further study. The Swedish system of crisis management puts the
municipality in a key position when managing a crisis. Making the municipal
situation room an interesting area for research. This study focuses on
sensemaking in the municipal situation room during crisis management. The
area of interest is when and why digital and/or non-digital resources are
being used during sensemaking. The study contributes to an understanding of
how sensemaking are performed in entanglement with the materiality
provided. This is important for understanding needs of exercises and needs
of resources in the situation room. The study was conducted as a
qualitative study where interviews and observations were used to gather
empirical evidence.
To obtain a copy of the entire article, click on the link below.
www.igi-global.com/article/materiality-matters-when-organizing-for-crisis-m…
To read a PDF sample of this article, click on the link below.
www.igi-global.com/viewtitlesample.aspx?id=222738
*ARTICLE 3*
Cyber Security Vulnerability Management in CBRN Industrial Control Systems
(ICS)
Roberto Mugavero (Department of Electronic Engineering – University of Rome
“Tor Vergata”, Rome, Italy), Stanislav Abaimov (National Inter-Universitary
Consortium for Telecommunications, Italy), Federico Benolli (OSDIFE -
Observatory on Security and CBRNe Defence, Rome, Italy), Valentina Sabato
(OSDIFE - Observatory on Security and CBRNe Deefence, Rome, Italy)
As cyberattacks are becoming the prevalent types of attacks on critical
infrastructures, due protection and effective response are crucial in CBRN
facilities. This article explores comprehensive cyber security
vulnerability management related to CBRN Control Systems and Industrial
Control Systems (ICS) and provides recommendations that will increase CBRN
operational cyber security and ensure further platform for the research in
the field of operational vulnerability detection and remediation. The
article reviews several key issues related to ICS vulnerability management
cycle, vulnerability sharing with security developers, patch and network
management, cyber offensive threats and threat actors and related cyber
security challenges. It covers such specific issues as ICS connectivity to
private/public networks, critical ICS accessibility via Web Access, Wi-Fi
and/or unauthorised software inside corporate networks. The proposed
solutions refer to some areas of vulnerability management for the awareness
and development of countermeasures.
To obtain a copy of the entire article, click on the link below.
www.igi-global.com/article/cyber-security-vulnerability-management-in-cbrn-…
To read a PDF sample of this article, click on the link below.
www.igi-global.com/viewtitlesample.aspx?id=222739
*ARTICLE 4*
Communication During Bushfires, Towards a Serious Game for a Serious
Matter: Communication During Bushfires
Carole Adam (Univ Grenoble-Alpes, LIG, Grenoble, France), Charles Bailly
(Univ Grenoble-Alpes, LIG, Grenoble, France), Julie Dugdale (Univ
Grenoble-Alps, LIG, Greenoble, France)
Australia is frequently hit by bushfires. In 2009, the ''Black Saturday''
fires killed 173 people and burnt hectares of bush. As a result, a research
commission was created to investigate, and concluded that several aspects
could be improved, in particular better understanding of the population
actual behaviour, and better communication with them. The authors argue
that agent-based modelling and simulation is a great approach to provide
tools to improve mutual understanding: let managers test communication
strategies, and let residents understand the managers' perspective.
Concretely, they extended an existing simulator with a
theoretically-grounded communication model based in social sciences; they
added user interactivity with the model and investigated gamification to
turn it into a serious game to involve the general public. The authors
present the results of first experiments with different communication
strategies, providing valuable insight for better communication with the
population during such events. Finally, they discuss future extensions and
generalisation of this simulator.
To obtain a copy of the entire article, click on the link below.
www.igi-global.com/article/communication-during-bushfires-towards-a-serious…
To read a PDF sample of this article, click on the link below.
www.igi-global.com/viewtitlesample.aspx?id=222740
------------------------------
For full copies of the above articles, check for this issue of the
*International
Journal of Information Systems for Crisis Response and Management
(IJISCRAM)* in your institution's library. This journal is also included in
the IGI Global aggregated *"InfoSci-Journals"* database:
www.igi-global.com/isj
<https://www.igi-global.com/e-resources/infosci-databases/infosci-journals/>
.
------------------------------
*CALL FOR PAPERS*
Mission of IJISCRAM:
The mission of the *International Journal of Information Systems for Crisis
Response and Management (IJISCRAM)* is to provide an outlet for innovative
research in the area of information systems for crisis response and
management. Research is expected to be rigorous but can utilize any
accepted methodology and may be qualitative or quantitative in nature. The
journal will provide a comprehensive cross disciplinary forum for advancing
the understanding of the organizational, technical, human, and cognitive
issues associated with the use of information systems in responding and
managing crises of all kinds. The goal of the journal is to publish high
quality empirical and theoretical research covering all aspects of
information systems for crisis response and management. Full-length
research manuscripts, insightful research and practice notes, and case
studies will be considered for publication.
Indices of IJISCRAM:
- ACM Digital Library
- Bacon's Media Directory
- Cabell's Directories
- DBLP
- GetCited
- Google Scholar
- INSPEC
- JournalTOCs
- MediaFinder
- Norwegian Social Science Data Services (NSD)
- The Index of Information Systems Journals
- The Standard Periodical Directory
- Ulrich's Periodicals Directory
Coverage of IJISCRAM:
This journal covers all aspects of the crisis management information
systems discipline, from organizational or social issues to technology
support to decision making and knowledge representation. High quality
submissions are encouraged using any qualitative or quantitative research
methodology, focusing on the design, development, implementation, uses and
evaluation of such systems. Submissions are especially encouraged covering
the following topics in this discipline:
- Case studies, research methods, and modeling approaches
- Collaborative and intelligent systems
- Command and control
- Communication technologies
- Crisis planning, training, exercising, and gaming
- Data fusion, representation, and visualization
- Decision making and judgment
- Disaster risk reduction, risk management, ad-hoc, and sensor networks
- Early warning systems
- Emergency response systems
- Geographical information systems
- Globalization and development issues
- Healthcare and health information systems
- Human-computer interaction
- Humanitarian operations
- Information systems strategy
- Knowledge management and systems
- Systems interoperability information systems infrastructures
- Virtual teams and organizations
Interested authors should consult the journal's manuscript submission
guidelines
www.igi-global.com/calls-for-papers/international-journal-information-syste…
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [WI] CAUSAL 2019 Call for Papers
Date: Mon, 11 Feb 2019 16:25:23 -0500
From: Emily LeBlanc <ecl.drexel(a)gmail.com>
Reply-To: Emily LeBlanc <ecl.drexel(a)gmail.com>
To: complog(a)cs.nmsu.edu, comprox(a)doc.ic.ac.uk, concurrency(a)cwi.nl,
conferences(a)computer.org, cphc-conf(a)jiscmail.ac.uk, cs(a)ics.forth.gr,
distributed-ai(a)jiscmail.ac.uk, dl(a)dl.kr.org, dmanet(a)zpr.uni-koeln.de,
elsnet-list(a)elsnet.org, erlang-questions(a)erlang.org,
event(a)in.tu-clausthal.de, fg-arc(a)lists.uni-paderborn.de,
fm-announcements(a)lists.nasa.gov, fmics(a)inrialpes.fr,
formal-methods(a)cs.toronto.edu, formal-methods(a)cs.utoronto.ca,
forman(a)acm.org, formis(a)dipmat.unipg.it, fp(a)cs.cmu.edu,
gulp-all(a)yahoogroups.com, gri(a)informatik.uni-rostock.de,
hol-info(a)lists.sourceforge.net, ifip(a)ifip.or.at,
imdea(a)clip.dia.fi.upm.es, inductive(a)listserv.unb.ca,
inductive-request(a)listserv.unb.ca, ki-inf(a)uni-koblenz.de, kr(a)kr.org,
krlab.admin(a)gmail.com, lfcs-interest(a)dcs.ed.ac.uk,
lics(a)research.bell-labs.com, linear(a)cs.stanford.edu,
logic(a)cs.stanford.edu, logic(a)math.uni-bonn.de, logic-list(a)helsinki.fi,
maude-users(a)cs.uiuc.edu, mizar-forum(a)mizar.uwb.edu.pl,
nqthm-users(a)cs.utexas.edu, nvti-list(a)cwi.nl, nwpt-info(a)lists.ioc.ee,
oegai(a)ifs.tuwien.ac.at, om-announce(a)openmath.org, ontology(a)buffalo.edu,
planetkr(a)kr.org, podc-related(a)acm.org, prog-lang(a)diku.dk,
project-calculemus(a)jacobs-university.de, relmics-l(a)mcmaster.ca,
semanticweb(a)yahoogroups.com, sicstus-users(a)sics.se,
sigarch-members(a)listserv.acm.org, sigparse-list(a)lists.andrew.cmu.edu,
sigplan-announce(a)listserv.acm.org, sigsam-friends(a)listserv.acm.org,
sigsam-members(a)listserv.acm.org, sml-list(a)cs.cmu.edu,
staff(a)dbai.tuwien.ac.at, staff(a)forsyte.tuwien.ac.at,
staff(a)kr.tuwien.ac.at, tag(a)cs.utexas.edu, theory-a(a)listserv.nodak.edu,
theorynt(a)listserv.nodak.edu, types(a)cis.upenn.edu, users(a)mozart-oz.org,
users-prolog(a)gnu.org, vki-list(a)dfki.de, webmaster(a)aisb.org.uk,
webmaster(a)eatcs.org, wi(a)aifb.uni-karlsruhe.de,
yap-users(a)lists.sourceforge.net, zforum(a)comlab.ox.ac.uk,
logic-programming(a)lists.picat-lang.org, uai(a)ENGR.ORST.EDU,
argumentationcompetition(a)inria.fr, comma(a)lists.dbai.tuwien.ac.at
[Apologies if you receive multiple copies of this email. Please
distribute to interested parties.]
CALL FOR PAPERS
*** CAUSAL 2019 ***
(June 3 or 4, 2019)
CAUSAL 2019 is a workshop co-located with LPNMR 2019
in Philadelphia, PA (USA).
https://sites.google.com/view/causal-2019/
CAUSAL 2019 IMPORTANT DATES
-----------------------
* Paper submission: April 15th 2019
* Notification: May 2nd 2019
* Final Versions: May 26th 2019
* Workshop Date: June 3rd or 4th 2019
------------------------
Sophisticated causal reasoning has long been prevalent in human society and
continues to have an undeniable impact on the advancement of science,
technology, medicine, and other significant fields. From the development of
ancient tools to modern roots of causal analysis in business and industry,
reasoning about and understanding causality enables us to identify how an
outcome of interest came to be and gives us insight into how to bring about,
or even prevent, similar outcomes in future scenarios.
This workshop aims to bring together researchers and practitioners of
logic programming with a dedicated focus on methods and trends emerging from
the study of causality and explanation. We welcome the submission of
papers on
systems, tools, and applications of logic programming methods for causal
reasoning and explanation. In particular, we encourage submissions
presenting
recent developments, including works in progress. The workshop will present
the latest research and application developments in these areas and provide
opportunities to discuss current and future research directions and
relationships to other fields (e.g. Machine Learning, Diagnosis, Natural
Language Processing and Understanding). An important expected outcome of
this
workshop is to collect first-hand feedback from the LPNMR community
about the
role and placement of causal reasoning and explanation in the landscape of
modern computer theory as well as in the software industry.
TOPICS
------
Topics of interests include (but are not limited to):
* Modeling causal theories in logic programming
* Formalization of types of causes: sufficient, necessary, actual, etc
* Causality, temporal reasoning and action theories
* Causality and counterfactual reasoning
* Causality, learning and experimental design
* Causality and probability
* Causality and equivalence
* Relating LP based causality and Causal Networks
* Challenging problems and benchmark examples
* Justifications and argumentation
* Explanations for diagnosis and debugging
* Tools, systems and applications
Submissions must describe original research and be prepared using the
Springer
LNAI/LNCS format and should be no longer than 13 pages.
https://www.springer.com/gp/authors-editors/conference-proceedings/conferen…
Please submit your paper via EasyChair:
https://easychair.org/cfp/CAUSAL2019
At least one co-author of each accepted paper must register for and
attend the workshop.
Please check the LPNMR 2019 website for registration procedure and fees.
https://sites.sju.edu/plw/lpnmr-2019/
ORGANIZERS
----------
Emily LeBlanc, Drexel University, USA, ecl.drexel(a)gmail.com
<mailto:ecl.drexel@gmail.com>
Joost Vennekens, KU Leuven, Belgium
Tran Cao Son, New Mexico State University, USA
Pedro Cabalar, Corunna University, Spain
Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France
Marcello Balduccini, Saint Joseph's University, USA
--
Mailing-Liste: wi(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi