[TYPES/announce] ETAPS 2011: First Call for Papers

[Joost-Pieter Katoen]

[We apologize for multiple copies.]

================================================================

                FIRST CALL FOR PAPERS: ETAPS 2011

  European Joint Conferences on Theory And Practice of Software

                    March 26 - April 3, 2011

                     Saarbruecken, Germany

                     http://www.etaps.org

================================================================

-- ABOUT ETAPS --

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 five main annual confe-
rences, accompanied by satellite workshops and other events. ETAPS
2011 is already the fourteenth event in the series.


-- INVITED SPEAKERS --

    * Ross Anderson (Cambridge, UK)
    * Andrew Appel (Princeton, USA)
    * Gerard J. Holzmann (NASA)
    * Martin Odersky (EPFL, Switzerland)
    * Marta Kwiatkowska (Oxford, UK)
    * Prakash Panangaden (McGill, Canada)
    * Andreas Podelski (Freiburg, Germany)


-- MAIN CONFERENCES --

- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems

-- IMPORTANT DATES --

    * 1 October 2010: Submission deadline for abstracts (strict)
    * 8 October 2010: Submission deadline for full papers (strict)
    * 10 December 2010: Notification of acceptance
    * 3 January 2011: Camera-ready versions due

-- GENERAL SUBMISSION INFORMATION --

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. 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. Papers should be submitted
electronically in PDF (preferably) or PS (using Type 1 fonts). The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of the Springer-Verlag Lecture
Notes in Computer Science series. Final papers will be in the format
specified by Springer-Verlag at the URL:

         http://www.springer.de/comp/lncs/authors.html

It is recommended that submissions adhere to the specified format and
length. Submissions that are clearly too long may be rejected
immediately.


Research Papers

Different ETAPS conferences will have different page
limits. Specifically, FASE, FOSSACS and TACAS will have a page limit
of 15 pages, whereas CC and ESOP will have a page limit of 20
pages. Additional material intended for the referee but not for
publication in the final version - for example details of proofs - may
be placed in a clearly marked appendix that is not included in the
page limit. ETAPS referees are at liberty to ignore appendices, and
papers must be understandable without them.

Tool Demonstration Papers

Submissions should consist of two parts:

    * The first part, at most four pages, should describe the tool
      presented Please include the URL of the tool (if available) and
      provide information that illustrates the maturity and robustness
      of the tool (this part will be included in the proceedings).  *

    * The second part, at most six pages, should explain how the
      demonstration will be carried out and what it will show,
      including screen dumps and examples. (This part will be not be
      included in the proceedings, but will be evaluated.)

Please note that FOSSACS does not accept tool demonstration papers.

-- SATELLITE EVENTS --

18 satellite workshops will take place before or after ETAPS 2011.

-- SAARBRUECKEN --

Saarbrücken is the capital of the Saarland, the smallest German
federal state. Saarbrücken has approximately 190,000 inhabitants and
hence is of pleasant size. Picturesque attractions and places of
historic interest are scattered around the city, and offer the perfect
destination for a hike or a daytrip. The cultural palette attracts
visitors from far and wide. Saarbrücken is located very close to the
French border, and half way on the high-speed railway connecting Paris
and Frankfurt. Both are in less than two hours distance.


-- FURTHER INFORMATION AND ENQUIRIES --

For further information, do not hesitate to contact the following
addresses.

    * GENERAL INFORMATION
       e-mail: etaps2011 at cs.uni-saarland.de

       Holger Hermanns
       ETAPS 2011 Organising Committee Chair

    * General Chair: Reinhard Wilhelm
    * Workshop Chair: Bernd Finkbeiner

    * Organising Committee: Bernd Finkbeiner, Holger Hermanns (Chair),
      Reinhard Wilhelm, Stefanie Haupert-Betz, Christa Schäfer

    * Web site: Hernán Baró Graf