28 Nov 2016
Genova, Italy
* ______________________________________________________________________ *
DEADLINE EXTENSION
The RCRA group (Knowledge Representation & Automated Reasoning) of the
AI*IA (Italian Association for Artificial Intelligence)
organizes the
23rd RCRA workshop:
Experimental evaluation of algorithms for solving
problems with combinatorial explosion (RCRA 2016)
Workshop web site: http://rcra.aixia.it/rcra2016
e-mail: rcra2016[AT]easychair[DOT]org
* ______________________________________________________________________ *
Thanks to an extension of the AI*IA 2016 early registration deadline
(where RCRA is co-located with), we are able to extend the submission
deadline of RCRA 2016 to September 22nd.
Here are summarized the main new deadlines related to the workshop:
Paper submission deadline: September 22nd, 2016
Notification of acceptance: October 22nd, 2016
Early registration: October 31st, 2016
Final version of accepted original papers: November 15th, 2016
Workshop day: November 28th, 2016
The full call-for-papers can be obtained from
http://rcra.aixia.it/rcra2016/CallForPapersRCRA2016.txt
We recall that submissions of papers already accepted/appeared on
other conference proceedings is permitted. The authors are requested
to clearly specify whether their submission is original or already
published.
Accepted original papers will be published online, as an issue of
the CEUR-WS workshop proceeding series, AI*IA sub-series.
The organizers are considering the possibility of having workshop
post-proceedings appearing in a special issue of an international
journal, provided that a sufficient amount of high quality original
papers is collected.
Hope to see your contribution submitted and to see you in Genova!
The RCRA 2016 Chairs
Stefano Bistarelli, Andrea Formisano, Marco Maratea
* _____________________________________________________________________ *
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam