[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[We apologize for multiple copies] ================================================================ FIRST CALL FOR PAPERS: ETAPS 2009 European Joint Conferences on Theory And Practice of Software March 22 - March 29, 2009 York, United Kingdom www.etaps.org www.cs.york.ac.uk/etaps09/ ================================================================= -- 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 2009 is already the twelfth event in the series. -- INVITED SPEAKERS -- Rajeev Alur (UPenn, USA) Jean-Marc Eber (Paris, F) Stephan Gilmore (Edinburgh, UK) Steven Miller (Rockwell Collins, USA) John Reynolds (CMU, USA) Vivek Sarkar (Rice, USA) Wolfgang Thomas (RWTH Aachen, D) -- 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 -- 2 October 2008: Submission deadline for abstracts (strict) 9 October 2008: Submission deadline for full papers (strict) 12 December 2008: Notification of acceptance/rejection 5 January 2009: Camera-ready versions due (strict) 22-29 March 2009: ETAPS 2009 -- 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 will be not more than 15 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 presented. 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 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 -- At ETAPS 2009, 21 workshops and 4 tutorials will take place -- YORK -- The City of York combines evidence of a history going back to Roman times, tourist attractions, and a bustling modern city centre. York Minster, on a site that has been the city's focus in Roman, Norman, and modern times, is among the finest Gothic cathedrals, and dominates the city. The Viking past is represented by preserved archaeological remains and reconstructed settlements in the world-famous Jorvik Centre. Since the nineteenth century, York has been a railway city, and houses the National Railway Museum, with its stunning collection of locomotives, carriages, and railway memorabilia. York is the ancient administrative capital of northern England, and is at the heart of the county of Yorkshire, dominating the Vale of York. To the west, the Pennines provide beautiful scenery and outdoor activities, whilst to the East, the Yorkshire Moors hold many beauty spots. There are local transport connections to East Coast resorts of Scarborough, Whitby and Robin Hoods Bay. -- FURTHER INFORMATION AND ENQUIRIES -- For further information, do not hesitate to contact the following addresses. - GENERAL INFORMATION e-mail: [EMAIL PROTECTED] Gerald Luettgen ETAPS 2009 Local Organizing Chair - ORGANISING COMMITTEE Bob French, Jeremy Jacob, John McDermid, Richard Paige, Fiona Polack, Colin Runciman, Ginny Wilson, Alan Wood.