I attach the CFPs for the five workshops attached to ICLP'15, which I hope will
be of interest.
Ian.
Call for Papers: The First International Workshop on Argumentation and Logic
Programming (ArgLP 2015).
Cork, Ireland, 31 August, 2015
(co-located with ICLP 2015)
Workshop webpage:
https://ddll.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/ArgLP2015
Selected papers will be considered for a special issue of Fundamenta
Informaticae (http://www.iospress.nl/journal/fundamenta-informaticae/)
----------
MOTIVATION
----------
Argumentation has been more and more an active research field in areas as
Multi-Agent Systems, Knowledge Representation and Reasoning, Artificial
Intelligence, Philosophy, Law, etc. From the computational point of view, logic
programming has been influencing fundamental roots of argumentation. Indeed,
since Dung formalized a family of argumentation inferences in terms of the so
called argumentation semantics, he showed that these argumentation semantics
have strong roots on logic-based theories.
The relationship between logic programming and argumentation has attracted
increased attention in the last years. Studies range from translating one into
the other and back, using argumentation to explain logic programming models,
and using logic programming systems to implement argumentation-based languages
(ASPARTIX, DIAMOND). Influences go both ways and we believe that both fields
can benefit from learning about each other.
This year the presentation of the results of the First International
Competition on Computational Models of Argumentation (ICCMA) will be done at
TAFA 2015 (co-located with IJCAI2015). Since some of the most widely known
argumentation solvers are based on logic programming methodologies, e.g.,
ASPARTIX, it is expected that new argumentation solvers based on logic
programming could appear. In this setting, ArgLP is aiming to catch the
attention of the logic programming community to increase the influence of logic
programming in the new theoretical and practical developments of argumentation.
------
TOPICS
------
Topics of interest include but are not limited to:
- New developments of argumentation systems based on logic programming
- New studies between argumentation semantics and logic programming semantics
- New studies of non-monotonic reasoning properties of argumentation semantics
- The relationship of defeasible logic programming and argumentation
- Studying the relationship between logic programs and various argumentation
formalisms (e.g. Dung frameworks, extended AFs, bipolar AFs, value-based AFs,
abstract dialectical frameworks, ...)
- Applications related to argumentation and logic programming
---------------
IMPORTANT DATES
---------------
15 June, 2015: Paper submission deadline
13 July, 2015: Notification of acceptance
27 July, 2015: Final manuscripts due
31 August, 2015: Workshop date
----------------------------
PAPER SUBMISSION INFORMATION
----------------------------
All papers must present original and innovative work. (Double submission is
allowed if the work is not yet formally published at the time of submission.)
Papers will be evaluated according to their significance, originality,
technical content and relevance to the workshop.
Papers must not exceed 15 pages in length and should be formatted using the
guidelines of Fundamenta Informaticae:
http://fi.mimuw.edu.pl/fundam.zip
Please submit your contributions electronically in PDF format to EasyChair:
https://easychair.org/conferences/?conf=arglp2015
-----------
PROCEEDINGS
-----------
Accepted papers will be included in the workshop on-line proceedings.
At least one author of each accepted paper is expected to register to the
workshop and attend the workshop to present the paper.
-------------
SPECIAL ISSUE
-------------
A selection of the best papers of ArgLP will be published as a special issue in
the Fundamenta Informaticae Journal
(http://www.iospress.nl/journal/fundamenta-informaticae/) after a second
evaluation.
-----------------------------
ORGANIZATION
-----------------------------
Sarah Gaggl, TU Dresden, Germany.
Hannes Strass, Leipzig University, Germany
Juan Carlos Nieves, UmeÃÂ¥ University, Sweden.
-----------------
PROGRAM COMMITTEE
-----------------
- Gerhard Brewka
- Sylvie Doutre
- Phan Minh Dung
- Dov Gabbay
- Gabriele Kern-Isberner
- Mauricio Osorio
- Ken Satoh
- Jan Sefranek
- Guillermo Simari
- Francesca Toni
- Paolo Torroni
- Marina De Vos
- Stefan Woltran
- Toshiko Wakaki
---------------------------------
ArgLP'2015 Anti-Harassment Policy
---------------------------------
The open exchange of ideas and the freedom of thought and expression are
central to the values and goals of ArgLP. They require an environment that
recognizes the inherent worth of every person and group. They flourish in
communities that foster mutual understanding and embrace diversity. For these
reasons, ArgLP is committed to providing a harassment-free conference
experience, and implements the ACM policy against harassment
(http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).
ArgLP participants violating these standards may be sanctioned or expelled from
the meeting, at the discretion of the conference organizers. Conference
organizers are requested to report serious incidents to the ICLP General Chair.
===============================================================================
CALL FOR PAPERS
ASPOCP 2015
8th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2015
August 31, 2015
Affiliated with the International Conference on Logic Programming 2015
(part of "The Year of George Boole")
Cork, Ireland
August 31 - September 4, 2015
===============================================================================
AIMS AND SCOPE
Since its introduction in the late 1980s, answer set programming (ASP)
has been widely applied to various knowledge-intensive tasks and
combinatorial search problems. ASP was found to be closely related to
SAT, which has led to a method of computing answer sets using SAT
solvers and techniques adapted from SAT. While this has been the most
studied relationship which is currently extended towards
satisfiability modulo theories (SMT), the relationship of ASP to other
computing paradigms, such as constraint satisfaction, quantified
boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is
also the subject of active research. New methods of computing answer
sets are being developed based on the relation between ASP and other
paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL
theorem provers, and CLP systems.
Furthermore, the practical applications of ASP also foster work on
multi-paradigm problem-solving, and in particular language and solver
integration. The most prominent examples in this area currently are the
integration of ASP with description logics (in the realm of the
Semantic Web), constraint satisfaction, and general means of external
computation. This workshop will facilitate the discussion about
crossing the boundaries of current ASP techniques in theory, solving,
and applications, in combination with or inspired by other computing
paradigms.
TOPICS
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of
other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
SUBMISSIONS
Papers must describe original research and should not exceed 15 pages
in the Springer LNCS format <URL:http://www.springeronline.com/lncs/>.
Paper submission will be handled electronically by means of the
Easychair system. The submission page is available at
https://easychair.org/conferences/?conf=aspocp2015
IMPORTANT DATES
Abstract and paper submission deadline: June 10, 2015
Notification: July 15, 2015
Camera-ready articles due: July 31, 2015
Workshop: August 31, 2015
PROCEEDINGS
Accepted papers will be made available online.
We aim at selecting extended and revised versions of accepted papers
to appear in a special issue of an international journal (provided
that a sufficient amount of high quality papers is collected).
Such papers will go through a second formal selection process to meet
the high quality standard of the journal.
LOCATION
The workshop will be held in Cork, Ireland, collocated with
the International Conference on Logic Programming (ICLP) 2015.
WORKSHOP CO-CHAIRS
Daniela Inclezan, Miami University, USA
Marco Maratea, DIBRIS - University of Genova, Italy
PROGRAM COMMITTEE
TBA
Call for Papers
-------------------------------------------------------------------------
*** IULP 2015 ***
International Workshop on User-Oriented Logic Programming
August 31, 2015
Collocated with the
31st International Conference on Logic Programming (ICLP 2015)
Cork, Ireland
August 31 - September 4, 2015
-------------------------------------------------------------------------
Since the emergence of the field of logic programming more than 30 years ago, a
lot of theoretical work has been done,
for example with respect to different semantics and their properties.
More recently, implementations and IDEs emerged which have been used for
various problem-solving applications.
However, user-friendliness is still an issue for both experts and non-experts
in logic programming;
for example experts benefit from features like debugging and heuristic tuning,
non-experts from educational material and intuitive visualisations - all of
which are ongoing topics of research.
The International Workshop of User-Oriented Logic Programming (IULP) focuses on
discussing different aspects involved in making logic programming more
user-friendly/oriented,
where the "user" could be either a logic programming expert, or a non-expert
who simply uses logic programming tools in some application.
IULP aims to bring together researchers from different sub-areas of logic
programming, such as answer set programming, constraint logic programming,
probabilistic logic programming, abductive logic programming, inductive logic
programming, argumentation etc.,
as user-friendliness is an important topic in all of these sub-areas.
IULP aims to provide an international forum for researchers in the AI, KR, and
applied sciences community to discuss and present advances in theories,
formalisms, and applications to deliver the mature and well-defined methods of
logic programming to a wider audience.
Topics of interest include but are not limited to:
We solicit the submission of papers broadly centred on issues and research
related to user-friendliness in logic programming and related fields.
We welcome papers of either theoretical or practical nature including work in
progress.
IMPORTANT DATES
-------------------------------------------------------------------------
* Papers due: Wed, 10th June 2015
* Notification to authors: Fri, 10th July 2015
* Camera ready version due: Fri, 24th July 2015
* Workshop date: Mon, 31st August 2015
TOPICS
-------------------------------------------------------------------------
Topics of interest include (but are not limited to):
* IDEs
* debugging
* explanations
* visualisation
* best practice
* modularity
* usage of natural language
* heuristic tuning
* LP education
* language extensions
SUBMISSIONS
-------------------------------------------------------------------------
Papers must be formatted in Springer LNCS style (http://www.springer.com/lncs)
and should not exceed 15 pages (excluding references and appendices).
All submissions have to be written in English and submitted electronically as a
PDF through easychair (http://easychair.org/conferences/?conf=iulp15).
We encourage the submission of original research in the area as well as
relevant results that have been submitted
or accepted elsewhere provided that the initial publication is mentioned in a
footnote on the first page.
Note that authorship is not anonymous and that at least one author of each
accepted paper is required to attend the workshop to present the contribution.
PROCEEDINGS
-------------------------------------------------------------------------
There are no formal proceedings for IULP.
The accepted papers will be published as a technical report and will be made
available in the CoRR Computing Research Repository.
The copyright of the papers lies with the authors and, as far as IULP is
concerned, authors are free to submit their work to other conferences and
workshops.
COMMITTEE
-------------------------------------------------------------------------
Chairs:
* Stefan Ellmauthaler (Leipzig University)
* Claudia Schulz (Imperial College London)
Program Committee
* Dalal Alrajeh (Imperial College London)
* Bart Bogaerts (KU Leuven)
* Pedro Cabalar (Corunna University)
* Günther Charwat (Vienna University of Technology)
* Marina De Vos (University of Bath)
* Esra Erdem (Sabanci University)
* Sarah Alice Gaggl (TU Dresden)
* Martin Gebser (Aalto University)
* Antonis C. Kakas (University of Cyprus)
* Enrico Pontelli (New Mexico State University)
* Jörg Pührer (Leipzig University)
* Francesco Ricca (University of Calabria)
* Kostyantyn Shchekotykhin (University of Klagenfurt)
* Guillermo R. Simari (Universidad Nacional del Sur)
* Hans Tompits (TU Wien)
CONTACT
-------------------------------------------------------------------------
iulp15 [at] easychair [dot] org
HOMEPAGE
-------------------------------------------------------------------------
http://iulp2015.uni-leipzig.de
PLP-2015: The Second Workshop on Probabilistic Logic Programming
----------------------------------------------------------------
A workshop of the 2015 International Conference on Logic Programming
31 August 2015
Cork, Ireland
http://stoics.org.uk/plp/plp2015/
Deadline for submissions: 10 June 2015
Overview
-----
Probabilistic logic programming (PLP) approaches have received much attention
in this century. They address the need to reason about relational domains under
uncertainty arising in a variety of application domains, such as bioinformatics,
the semantic web, robotics, and many more. Developments in PLP include new
languages that combine logic programming with probability theory, as well as
algorithms that operate over programs in these formalisms.
PLP is part of a wider current interest in probabilistic programming. By
promoting probabilities as explicit programming constructs, inference, parameter
estimation and learning algorithms can be ran over programs which represent
highly structured probability spaces. Due to logic programming's strong
theoretical underpinnings, PLP is one of the more disciplined areas of
probabilistic programming. It builds upon and benefits from the large body of
existing work in logic programming, both in semantics and implementation, but
also presents new challenges to the field. PLP reasoning often requires the
evaluation of large number of possible states before any answers can be produced
thus braking the sequential search model of traditional logic programs.
While PLP has already contributed a number of formalisms, systems and well
understood and established results in: parameter estimation, tabling, marginal
probabilities and Bayesian learning, many questions remain open in this
exciting, expanding field in the intersection of AI, machine learning and
statistics.
This workshop provides a forum for the exchange of ideas, presentation of
results and preliminary work, in the following areas
* probabilistic logic programming formalisms
* parameter estimation
* statistical inference
* implementations
* structure learning
* reasoning with uncertainty
* constraint store approaches
* stochastic and randomised algorithms
* probabilistic knowledge representation and reasoning
* constraints in statistical inference
* applications, such as
* * bioinformatics
* * semantic web
* * robotics
* probabilistic graphical models
* Bayesian learning
* tabling for learning and stochastic inference
* MCMC
* stochastic search
* labelled logic programs
* integration of statistical software
The above list should be interpreted broadly and is by no means exhaustive.
Purpose
-----
After a successful first edition of this workshop at ICLP 2014 in Vienna, the
second edition hopes to continue to foster collaboration between between the
ICLP and PLP communities. We hope that both (a) more LP researchers will become
interested in inference and learning with PLP and (b) PLP researchers will get
important feedback on their work from logic programmers.
Submissions
-----
Submissions will be managed via EasyChair. Contributions should be prepared in
the LLNCS style. A mixture of papers are sought including: new results, work in
progress as well as technical summaries of recent substantial contributions.
Papers presenting new results should be 6-12 pages in length. Work in progress
and technical summaries can be shorter. The workshop proceedings will clearly
indicate the type of each paper.
At least one author of each accepted paper will be required to attend the
workshop to present the contribution.
Publication
-----
Informal proceedings will be made available electronically to attendees. They
will also be for stored permanently in the form on CEUR Workshop Proceedings
(http://ceur-ws.org/). The proceedings will consist of clearly marked sections
corresponding to the different types of submissions accepted.
Extended versions of selected workshop papers will be published in the
International Journal of Approximate Reasoning (Elsevier).
Deadlines
-----
Papers due: Wed, 10th June 2015
Notification to authors: Fri, 10th July 2015
Camera ready version due: Fri, 24th July 2015
Workshop data: Mon, 31st August 2015
(the deadline for all dates is 23:59 BST)
Invited Speaker(s)
-----
To be announced
Chairs
-----
Fabrizio Riguzzi (UniversitÃÂ di Ferrara, Italy)
Joost Vennekens (KU Leuven, Belgium)
Program Committee
-----
To be announced
Call For Papers
WCB15 - 11th Workshop on Constraint-based methods for Bioinformatics
Cork, Ireland, August 31st
Jointly colocated with CP 2015 and ICLP 2015
http://clp.dimi.uniud.it/wcb15
Overview
During recent years, Biology has become a source of challenging
problems for the entire field of Computer Science in general, and for the
areas of computational logic and constraint programming in particular.
Successful approaches to these problems are likely to have
significant applications in several fields of research, such as medicine,
agriculture, industry, etc. Several successful applications of the Logic
and Constraint
Programming paradigms in Bioinformatics have been carried out in the last
years,
in the area of phylogenetic tree reconstruction, in haplotype inference, in
proteins structure prediction, in RNA secondary structure prediction, and in
system biology, just to cite a few. The workshop aims at exchanging ideas
between researchers and
collecting, if possible, new problems to be faced in the next future by our
community.
Revised, extended versions of WCB papers are welcomed to a special
track in the ALMOB Journal (IF 1.86).
Submitted papers can be (other details in the home page):
- Full papers describing new research results
- Extended Abstracts concerning original (unpublished) results.
- Abstracts describing ongoing work.
- System descriptions (with demos at the workshop).
- Summaries of already accepted or recently published papers/results.
- Well-motivated proposals of bioinformatics problems for constraint based
methods.
Important Dates:
2015/6/15 â Deadline for submissions
2015/7/15 â Notification
2015/7/30 â Camera ready version
2015/8/31 â Workshop
Submission
Submitted papers should be 3-15 pages long in the LNCS format;
submission is made through Easychair:
https://easychair.org/conferences/?conf=wcb2015
Workshop Organizers
Alessandro Dal Palu' (Univ. of Parma, Italy)
Agostino Dovier (Univ. of Udine, Italy)
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
