-------- Original-Nachricht -------- Betreff: [isworld] ETAPS 2010: Call for Papers Datum: Mon, 7 Sep 2009 13:41:34 +0300 Von: George A. Papadopoulos george@cs.ucy.ac.cy Antwort an: George A. Papadopoulos george@cs.ucy.ac.cy An: AISWORLD Information Systems World Network isworld@lyris.isworld.org
[We apologize for multiple copies]
================================================================
CALL FOR PAPERS: ETAPS 2010
European Joint Conferences on Theory And Practice of Software
March 20 - March 28, 2010
Paphos, Cyprus
http://www.etaps.org http://www.etaps10.cs.ucy.ac.cy/
================================================================
-- 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 2010 is the thirteenth event in the series.
-- INVITED SPEAKERS --
Mark Harman (KCL) Jim Larus (MSR) Dave Naumann (Stevens) Joseph Sifakis (IMAG) Colin Stirling (Edinburgh) Phil Wadler (Edinburgh)
-- 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 --
01 October 2009: Submission deadline for abstracts (strict) 08 October 2009: Submission deadline for full papers (strict) 11 December 2009: Notification of acceptance/rejection 04 January 2010: Camera-ready versions due (strict) 20-28 March 2010: ETAPS 2010
-- 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. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (neither conference nor journal). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. One author of each accepted paper must attend the conference to present the paper.
Papers should be submitted electronically in PDF (preferably) or PS (using Type 1 fonts). The proceedings will be published in 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
Submissions not adhering to the specified format and length may be rejected immediately, without review.
-- Research Papers --
Papers should be no more than 20 pages long (including figures and references). 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. Please include the URL of the tool (if available) and provide information which 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 demon- stration 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 --
At ETAPS 2010, 19 workshops will take place.
-- Paphos --
The west coast town of Paphos with its pleasant harbour and medieval fort, combines a cosmopolitan holiday resort, spectacular countryside and historical sites. With a population of just 28.000 inhabitants, Paphos nestles in the lee of the Western Troodos Mountains and close to the Akamas National Park which add another dimension to this area of scenic beauty. Paphos has an air of holiday charm combined with history, and olden-day elegance is lent to the town by its classical style buildings in the upper part of town which leads to the shopping area. The lower part of the town has a life of its own, down near the sea, home of the harbour, the fish taverns, souvenir shops and several hotels with important archaeological sites around them. Paphos was the island's capital, and it is famous for the remains of the Roman Governor's palace, where extensive, fine mosaics are a major tourist attraction. The town of Paphos is included in the official UNESCO list of cultural and natural treasures of the world's heritage.
-- FURTHER INFORMATION AND ENQUIRIES --
For further information, do not hesitate to contact the following addresses.
- GENERAL INFORMATION e-mail: etaps10@cs.ucy.ac.cy
- George Papadopoulos, george@cs.ucy.ac.cy
- Anna Philippou, annap@cs.ucy.ac.cy