- CC 2009,
International Conference on Compiler Construction
- ESOP 2009,
European Symposium on Programming
- FASE 2009,
Fundamental Approaches to Software Engineering
- FOSSACS 2009,
Foundations of Software Science and Computation Structures
- TACAS 2009,
Tools and Algorithms for the Construction and Analysis of Systems
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 using following the instructions on the website of the main conferences. 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 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.
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
International Conference on Compiler Construction
CC is interested in work on processing programs in the most
general sense: analyzing, transforming or executing input that
describes how a system operates, including traditional compiler
construction as a special case.
Topics of interest include, but are not limited to:
- Compilation and interpretation techniques,
including program representation and analysis, code generation and code
optimization
- Run-time techniques, including memory
management and dynamic and just-in-time compilation
- Programming tools, from refactoring
editors to checkers to compilers to virtual machines to debuggers
- Techniques for specific domains, such
as secure, parallel, distributed, embedded or mobile environments
- Design of novel language constructs
and their implementation
Programme Committee
- Silvia Breu, University of Cambridge (UK)
- Manuel Chakravarty, University of New South Wales
(Australia)
- Satish Chandra, IBM Research, New York (USA)
- Michael Franz, UC Irvine (USA)
- Jan Heering, CWI (The Netherlands)
- Paul Kelly, Imperial College (UK)
- Viktor Kuncak, EPFL (Switzerland)
- Sorin Lerner, University of California at San Diego (USA)
- Yanhong Annie Liu, SUNY at Stony Brook (USA)
- Ondrej Lhotak, University of Waterloo, (Canada)
- Oege de Moor (CO-CHAIR), Oxford University, (UK)
- Pierre-Etienne Moreau, INRIA Nancy (France)
- Lori Pollock, University of Delaware (USA)
- Markus Pueschel, Carnegie Mellon University (USA)
- Mooly Sagiv, Tel-Aviv University (Israel)
- Wolfram Schulte, Microsoft Research Redmond (USA)
- Michael Schwartzbach (CO-CHAIR), University of Aarhus
(Denmark)
- Yannis Smaragdakis, University of Oregon (USA)
- Zhendong Su, UC Davis (USA)
- Don Syme, Microsoft Research Cambridge (UK)
Conference Website:
http://www.brics.dk/~mis/CC2009/
European Symposium on Programming,
ESOP is an annual conference devoted to fundamental issues in
the specification, analysis, and implementation of programming
languages and systems. ESOP 2009 is the eighteenth edition in this
series and seeks contributions on all aspects of programming language
research including, but not limited to, the following areas:
- Programming paradigms and styles: functional programming,
aspect-oriented programming, object-oriented programming, logic
programming, constraint programming, extensible programming languages,
domain-specific languages, biologically-inspired languages, synchronous
and real-time programming languages;
- Methods and tools to write, reason about, and specify
languages and programs: module systems, programming techniques, meta
programming, type systems, logical foundations, denotational semantics,
operational semantics, program verification, static analysis, testing,
language-based security;
- Methods and tools for implementation: rewriting systems,
program transformations, partial evaluation, experimental evaluations,
virtual machines, intermediate languages, run-time environments;
- Concurrency and distribution: parallel programming, process
algebras, concurrency theory, service-oriented computing, distributed
and mobile languages.
What is New This Year _ Rebuttal Phase:
Authors will be given a 60-hours period to read and respond
to the reviews of their papers before the PC meeting.
Rebuttals must be at most 500 words long.
Programme Committee
- Martin Abadi, UCSC and Microsoft Research (USA)
- Torben Amtoft, Kansas State University (USA)
- John Boyland, University of Wisconsin-Milwaukee (USA)
- Michele Bugliesi, Universita "Ca' Foscari" di Venezia
(Italy)
- Giuseppe Castagna (CHAIR), CNRS, Universite Paris Diderot
(France)
- Silvano Dal Zilio, CNRS-LAAS (France)
- Vincent Danos, University of Edinburgh (UK)
- Mariangiola Dezani, Universita di Torino (Italy)
- Maribel Fernandez, King's College London (UK)
- Tim Harris, Microsoft Research, Cambridge (UK)
- Martin Hofmann, LMU Munnich(Germany)
- Joxan Jaffar, National University of Singapore (Singapore)
- Xavier Leroy, INRIA Paris-Rocquencourt (France)
- Eugenio Moggi, Universita di Genova (Italy)
- Greg Morrisett, Harvard University (USA)
- George Necula, Rinera Networks, Inc., and UC Berkeley (USA)
- James Noble, Victoria University of Wellington (New
Zealand)
- Kostis Sagonas, National Technical University of Athens
(Greece)
- Peter Sestoft, IT University of Copenhagen (Denmark)
- Peter Sewell, University of Cambridge (UK)
- Jean-Pierre Talpin, INRIA Rennes-Bretagne-Atlantique
(France)
- Peter Thiemann, Universitaet Freiburg (Germany)
- Jan Vitek, Purdue University (USA)
- Kwangkeun Yi, Seoul National University (Korea)
- Gianluigi Zavattaro, Universita degli Studi di Bologna
(Italy)
Conference Website: http://esop09.pps.jussieu.fr
Fundamental Approaches to Software Engineering
FASE is concerned with the foundations on which Software
Engineering is built. Submissions should not focus on the application
or evaluation of given methods, tools or techniques for their own sake
but, rather, the principles on which they are based and the way in
which they contribute to making Software Engineering a more mature and
soundly-based discipline. Contributions that combine the development of
conceptual and methodological advances with their formal foundations
and tool support are particularly encouraged. We welcome contributions
on all such fundamental approaches, including:
- SE as an engineering discipline, including its interaction
with and impact on society;
- Requirements engineering: capture, consistency, and change
management of software requirements;
- Software architectures: description and analysis of the
architecture of individual systems or classes of applications;
- Specification, design, and implementation of particular
classes of systems: adaptive, collaborative, embedded, distributed,
mobile, pervasive, or service-oriented applications;
- Software quality: validation and verification of software
using theorem proving, model-checking, testing, analysis, metrics or
visualisation techniques;
- Model-driven development and model-transformation: design
and semantics of semi-formal visual languages, consistency and
transformation of models;
- Software processes: support for iterative, agile, and open
source development;
- Software evolution: refactoring, reverse and
re-engineering, configuration management and architectural change, or
aspect-orientation.
Programme Committee
- Michel Bidoit, INRIA Saclay (France)
- Marsha Chechik (CO-CHAIR), University of Toronto (Canada)
- Jim Davies, University of Oxford (UK)
- Juergen Dingel, Queen's University (Canada)
- Schahram Dustdar, Vienna University of Technology
(Austria)
- Alexander Egyed, Johannes Kepler University Linz (Austria)
- Jose Fiadeiro, University of Leicester (UK)
- Harald C. Gall, University of Zurich (Switzerland)
- Dimitra Giannakopolou, RIACS/NASA Ames (USA)
- Reiko Heckel, University of Leicester (UK)
- Mats Heimdahl, University of Minnesota (USA)
- Paola Inverardi, University of L'Aquila (Italy)
- Alexander Knapp, University of Augsburg (Germany)
- Angelika Mader, University of Twente (Netherlands)
- TSE Maibaum, McMaster University (Canada)
- Tiziana Margaria, University of Potsdam (Germany)
- Fabio Massacci, University of Trento (Italy)
- Stephan Merz, INRIA Nancy (France)
- Peter Olveczky, University of Oslo (Norway)
- Richard Paige, University of York (UK)
- Gregg Rothermel, University of Nebraska-Lincoln (USA)
- Koushik Sen, University of California, Berkeley (USA)
- Perdita Stevens, University of Edinburgh (UK)
- Gabriele Taentzer, University of Marburg (Germany)
- Ladan Tahvildari, University of Waterloo (Canada)
- Tetsuo Tamai, University of Tokyo (Japan)
- Sebastian Uchitel, University of Buenos Aires (Argentina)
- Daniel Varro, Budapest University of Technology and
Economics (Hungary)
- Martin Wirsing (CO-CHAIR), LMU Munich (Germany)
Conference Website: http://www.pst.ifi.lmu.de/fase2009/
Foundations of Software Science and Computation Structures
FOSSACS seeks original papers on foundational research with a
clear significance for software science. The conference invites
submissions on theories and methods to support the analysis,
integration, synthesis, transformation, and verification of programs
and software systems. The specific topics covered by
the conference include, but are not limited to, the following:
- Algebraic models;
- Automata and language theory;
- Behavioural equivalences;
- Categorical models;
- Computation processes over discrete and continuous data;
- Infinite state systems;
- Computation structures;
- Logics of programs;
- Modal, spatial, and temporal logics;
- Models of concurrent, reactive, distributed, and mobile
systems;
- Process algebras and calculi;
- Semantics of programming languages;
- Software specification and refinement;
- Type systems and type theory;
- Fundamentals of security;
- Semi-structured data;
- Program correctness and verification.
Programme Committee
- Parosh Abdulla, Uppsala University (Sweden)
- Roberto Amadio, Paris Diderot University (France)
- Jos Baeten, Eindhoven University of Technology (The
Netherlands)
- Luis Caires, New University of Lisbon (Portugal)
- Luca de Alfaro (CHAIR), University of California Santa Cruz (USA)
- Javier Esparza, Technical University of Munich (Germany)
- Kousha Etessami, University of Edinburgh (UK)
- Marcelo Fiore, University of Cambridge (UK)
- Cedric Fournet, Microsoft Research (UK)
- Dan Ghica, University of Birmingham (UK)
- Radha Jagadeesan, DePaul University (USA)
- Alan Jeffrey, Bell Labs (USA)
- Marcin Jurdzinski, University of Warwick (UK)
- Naoki Kobayashi, Tohoku University (Japan)
- Barbara Koenig, University of Duisburg-Essen (Germany)
- Ugo Montanari, University of Pisa (Italy)
- Catuscia Palamidessi, INRIA and Ecole Polytechnique
(France)
- Prakash Panangaden, McGill University (Canada)
- Amir Pnueli, New York University (USA)
- Jean-Francois Raskin, University of Brussels, ULB
(Belgium)
- Grigore Rosu, University of Illinois, Urbana-Champaign
(USA)
- Davide Sangiorgi, University of Bologna (Italy)
- Carolyn Talcott, SRI International (USA)
Conference Website: http://fossacs09.soe.ucsc.edu/
Tools and Algorithms for the Construction and Analysis of
Systems
TACAS is a forum for researchers, developers and users
interested in rigorously based tools and algorithms for the
construction and analysis of systems. The conference serves to bridge
the gaps between different communities that share common interests in,
and techniques for, tool development and its algorithmic foundations.
The research areas covered by such communities include but are not
limited to formal methods, software and hardware verification, static
analysis, programming languages, software engineering, real-time
systems, communications protocols, and biological systems. The TACAS
forum provides a venue for such communities at which common problems,
heuristics, algorithms, data structures and methodologies can be
discussed and explored. In doing so, TACAS aims to support researchers
in their quest to improve the utility, reliability, flexibility and
efficiency of tools and algorithms for building systems.
Tool descriptions and case studies with a conceptual message,
as well as theoretical papers with clear relevance for tool
construction are all encouraged. The specific topics covered by the
conference include, but are not limited to, the following:
- Specification and verification techniques for finite and
infinite-state systems;
- Software and hardware verification;
- Theorem-proving and model-checking;
- System construction and transformation techniques;
- Static and run-time analysis;
- Abstraction techniques for modeling and validation;
- Compositional and refinement-based methodologies;
- Testing and test-case generation;
- Analytical techniques for secure, real-time, hybrid,
critical, biological or dependable systems;
- Integration of formal methods and static analysis in
high-level hardware design or software environments;
- Tool environments and tool architectures;
- SAT solvers;
- Applications and case studies.
Programme Committee
- Marco Bernardo, University of Urbino (Italy)
- Ahmed Bouajjani, University of Paris 7 (France)
- Ed Brinksma, ESI and University of Twente (The
Netherlands)
- Alessandro Cimatti, FBK-irst (Italy)
- Rance Cleaveland, University of Maryland &
Fraunhofer USA Inc (USA)
- Swarat Chaudhuri, Pennsylvania State University
(USA)
- Veronique Cortier, CNRS-LORIA, Nancy (France)
- Patrice Godefroid, Microsoft Research, Redmond,
Washington (USA)
- Orna Grumberg, Technion, Israel Institute of
Technology (Israel)
- Aarti Gupta, NEC Laboratories America Inc, Princeton
(USA)
- Nicolas Halbwachs, Verimag/CNRS, Grenoble (France)
- Michael Huth, Imperial College (UK)
- Kim Larsen, Aalborg University (Denmark)
- Stefan Kowalewski (CO-CHAIR), RWTH Aachen (Germany)
- Thomas Kropf, Robert Bosch AG (Germany)
- Marta Kwiatkowska, University of Oxford (UK)
- Panagiotis Manolios, Northeastern University (USA)
- Radu Mateescu, INRIA/VASY (France)
- Ken McMillan, Cadence Berkeley Labs (USA)
- Anna Philippou (CO-CHAIR), University of Cyprus
(Cyprus)
- Andreas Podelski, University of Freiburg (Germany)
- C.R. Ramakrishnan, Stony Brook University (USA)
- Natasha Sharygina, University of Lugano
(Switzerland)
- Oleg Sokolsky, University of Pennsylvania (USA)
- Bernhard Steffen, University of Dortmund (Germany)
- Frits Vaandrager, Nijmegen University (The
Netherlands)
- Carsten Weise, RWTH Aachen (Germany)
- Lenore Zuck, University of Illinois (USA)
- Rupak Majumdar, University of California, Los Angeles (USA)
Conference Website: http://www.embedded.rwth-aachen.de/tacas2009/