ETAPS 2014 - 17th European Joint Conferences on Theory And Practice of Software

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.
ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.
The seventeenth edition, ETAPS 2014, will take place in Grenoble, France.
Important Dates
Abstract Submission: 4 October 2013
Paper Submission: 11 October 2013
Author Notification: 20 December 2013
Camera-ready version: 17 January 2014
ESOP and FoSSaCS will use a rebuttal (author response) phase.
Submission Instructions
ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. (TACAS has more categories, see below)
A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline Springer's Lecture Notes in Computer Science series.
Papers must follow the formatting guidelines specified by Springer at the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author interface of the respective conference.
Submissions not adhering to the specified format and length may be rejected immediately.