[PlanetKR] PRUV call for papers --- deadline extension

[Anni-Yasmin Turhan]

******************************************************************
          CALL FOR PAPERS
First International Workshop on Logics for Reasoning about
Preferences, Uncertainty, and Vagueness

           (PRUV 2014)

Vienna, Austria, July 23-24, 2014
http://vsl2014.at/pruv/
******************************************************************

***** DEADLINE EXTENDED TO MAY 15. *****

PRUV 2014 is the first Workshop on Logics for Reasoning about
Preferences, Uncertainty, and Vagueness.

The aim of PRUV is to bring together people from different
communities (such as the Artificial Intelligence, Theory and the
Semantic Web community, among others), including theorists and
practitioners, working on logics for reasoning about preferences,
uncertainty, and vagueness.

Making researchers aware of and fruitfully discuss the most recent
application areas, new challenges, and the existing body of work on
logics for reasoning about preferences, uncertainty, and vagueness
is the main goal of this meeting.

PRUV 2014 is part of the Vienna Summer of Logic, a major event
hosting logic conferences and workshops (http://vsl2014.at/).
In particular, PRUV will be hosted by FLoC (http://vsl2014.at/floc/)
and associated to IJCAR (http://vsl2014.at/ijcar/).

== IMPORTANT DATES ==

- Paper submission: May 15, 2014
- Notification of acceptance: May 30, 2014
- Camera-ready submission: June 7, 2014

== TOPICS ==

PRUV welcomes submissions relating logic with preferences, uncertainty
and vagueness in the wider sense. Some logics of interest are:
  - first-order logic,
  - propositional logic,
  - probabilistic logic,
  - logic programming,
  - answer set programming,
  - description logics,
  - modal logics,
  - hybrid logics,
  - defeasible logic,
  - multi-valued logics,
  - dynamic logic,
  - temporal logics,
  - agent logics.

Formalisms for handling preferences, uncertainty, and vagueness
include, but are not limited to
  - probability measures,
  - Bayesian networks,
  - possibility measures,
  - preference networks,
  - CP-networks,
  - rough sets,
  - fuzzy set theory.

== PUBLICATION  ==

All accepted papers will be made available electronically at the
CEUR Workshop Proceedings website (http://www.CEUR-ws.org/).

After the workshop, there will be a special issue of
the IFCOLOG Journal of Logics and their Applications
(http://www.collegepublications.co.uk/journals/ifcolog/)
with selected papers from the workshop.

== SUBMISSIONS ==

Submissions must be prepared in Springer's LaTeX style llncs
(http://www.springer.com/comp/lncs/Authors.html).

There are three submission formats:

- Full papers (up to 12 pages plus references)
- Technical Communications (up to 6 pages plus references)
- System Descriptions (up to 6 pages plus references)

Submissions will be made via EasyChair:

       https://www.easychair.org/conferences/?conf=pruv2014

== DOUBLE SUBMISSIONS ==

The aim of the workshop is to bring together experts from a wide
spectrum of research areas. Thus, we accept submissions of papers
and results recently published in other venues.

== PROGRAM COMMITTEE ==

Nathalie Bertrand (Inria Rennes Bretagne Atlantique)
Fernando Bobillo (University of Zaragoza)
Felix Bou (University of Barcelona (UB))
Marco Cerami (Palacký University in Olomouc)
Simona Colucci (Università della Tuscia)
Fabio Gagliardi Cozman (Universidade de Sao Paulo)
C. Maria Keet (Department of Computer Science, University of Cape Town, 
South Africa)
Angelika Kimmig (KU Leuven)
Pavel Klinov (University of Ulm)
Beata Konikowska (Institute of Computer Science Polish Academy of Sciences)
Thomas Lukasiewicz (Department of Computer Science, University of 
Oxford) - chair
Maria Vanina Martinez (University of Oxford)
Rafael Peñaloza (TU Dresden) - chair
Steven Schockaert (Cardiff University)
Giorgos Stoilos (National Technical University of Athens (NTUA))
Anni-Yasmin Turhan (TU Dresden) - chair
Özgür Lütfü Özcep (Institute for Softwaresystems, Hamburg University of 
Technology)