Tuesday, May 6, 2014

[DMANET] PCCR 2014: 2nd Workshop on the Parameterized Complexity of Computational Reasoning

Call for papers and participation

PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
17-18 July 2014, Vienna, Austria

http://vsl2014.at/pccr/

PCCR 2014 will be held during the Vienna Summer of Logic 2014, the largest
logic event in history with an expected 2500 participants.
Abstracts for contributed talks are due by 9 May 2014.
Registration is now open and the early registration deadline is 8 June 2014.

*Important Dates*

Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014
Early registration: 8 June 2014

*Aims and Scope*

PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.

Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.

The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.

*Invited speakers*

- Georg Gottlob (University of Oxford, UK),
- Dániel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).

*Submission Instructions*

If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.

See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************