-
CC 2008, International Conference on Compiler Construction
-
ESOP 2008, European Symposium on Programming
-
FASE 2008, Fundamental Approaches to Software Engineering
-
FOSSACS 2008, Foundations of Software Science and Computation Structures
-
TACAS 2008, 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 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 .
It is recommended that submissions adhere to the specified
format and length. Submissions that are clearly too long may be
rejected immediately.
Research Papers
Papers will be not more than 15 pages long. 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.
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.
Tutorials
Proposals for half-day or full-day tutorials related to ETAPS 2008 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants of ETAPS 2008. Proposals
should include a description of the material that will be covered in
the tutorial; a justification of the relevance of the tutorial for
ETAPS 2008; a short history of the tutorial if it has been given
before; the duration of the tutorial; the key learning objectives for
the participants; the intended audience for the tutorial and the
required background; and the credentials of the
instructors(s).
Important Dates
- 5 October 2007: Submission deadline (strict) for
abstracts of research and tool demonstration papers
- 12 October 2007: Submission deadline (strict) for full versions of
research and tool demonstration papers
- 7 December 2007: Notification of acceptance/rejection
- 4 January 2008: Camera-ready versions due
- 29 March - 6 April 2008: ETAPS 2008
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
-
José Nelson Amaral , University of Alberta, Canada
-
Eduard Ayguade , Technical University of Catalunya (UPC), Spain
-
Albert Cohen , INRIA Futurs, Orsay, France
-
Alain Darte , CNRS, École normale supérieure de Lyon, France
-
Martin Elsman , IT University of Copenhagen, Denmark
-
M. Anton Ertl, TU Wien, Austria
-
David Gregg, Trinity College Dublin, Ireland
-
Sumit Gulwani , Microsoft Research, USA
-
Görel Hedin, Lund University, Sweden
-
Laurie Hendren (chair), McGill University, Canada
-
Richard Jones , University of Kent, Canterbury, UK
-
Mira Mezini, Darmstadt University of Technology, Germany
-
Ana Milanova , Rensselaer Polytechnic Institute, USA
-
Antoine Miné, Ecole Normale Supérieure, Paris, France
-
Anders Møller, BRICS, University of Aarhus, Denmark
-
Michael O'Boyle, University of Edinburgh, UK
-
Peter O'Hearn , Queen Mary, University of London, UK
-
Jens Palsberg, UCLA, USA
-
Simon Peyton Jones , Microsoft Research Ltd, UK
-
Jan Vitek , IBM T.J. Watson, USA and Purdue University, USA
-
Andreas Zeller, Saarland University, Germany
Invited Speaker
Michael Schwartzbach,
University of Aarhus, Denmark
Conference Page
http://www.sable.mcgill.ca/~hendren/CC2008/
European Symposium on Programming,
ESOP is an annual conference devoted to fundamental issues in the
specification, analysis, and implementation of programming languages
and systems. This includes:
- Design of programming languages and calculi and their formal
properties
- Techniques, methods, and tools for their implementation
- Exploitation of programming styles within different
programming paradigms
- Automatic and manual methods for generating and reasoning
about programs
- The design and invention of systems and tools to assist in
exploitation of the languages
Contributions bridging the gap between theory and practice are
particularly welcome. Topics traditionally covered by ESOP include
programming paradigms and their integration, semantics, calculi of
computation, security and privacy, advanced type systems, program
analysis, program transformation, and practical algorithms based on
theoretical developments.
Programme Committee
-
Davide Ancona,
University of Genova,
-
Manuel M T Chakravarty,
University of New South Wales,
-
Dave Clarke,
Cenrum voor Wiskunde en Informatica (CWI),
-
Adriana Compagnoni,
Stevens Institute of Technology,
-
Sophia Drossopoulou
(chair), Imperial College London,
-
Manuel Faehndrich,
Microsoft Research Redmond,
-
Sabine Glesner,
Technical University of Berlin,
-
Robert Harper,
Carnegie Mellon University,
-
Shriram Krishnamurthi,
Brown University,
-
Doug Lea,
State University of New York at Oswego,
-
Peter Mueller,
ETH Zurich,
-
Alan Mycroft,
Cambridge University,
-
David Naumann,
Stevens Institute of Technology,
-
Catuscia Palamidessi,
INRIA,
-
Matthew Parkinson,
University of Cambridge,
-
German Puebla,
Technical University of Madrid,
-
Andrei Sabelfeld,
Chalmers University of Technology,
-
Vijay Saraswat,
Penn State University and IBM TJ Watson Research Lab,
-
Kostis Sagonas,
National Technical University of Athens,
-
Eijiro Sumii,
Tohoku University,
-
Walid Taha,
Rice University,
-
Frank Tip,
IBM Watson Research Center,
-
Philip Wadler,
University of Edinburgh,
-
Joe Wells,
Heriot-Watt University,
Invited Speaker
Thierry Coquand, Göteborg University, Sweden
Conference Page
http://esop2008.doc.ic.ac.uk/
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;
-
Domain modelling;
-
Software architectures;
-
Engineering of particular classes of systems (collaborative,
service-oriented, software-intensive, ubiquitous);
-
Software processes;
-
Model-driven development;
-
Software evolution;
-
Validation and verification;
-
Testing.
Programme Committee
- Don BATORY, University of Texas at Austin (US)
- Ruth BREU, University of Innsbruck (AT)
- Carlos CANAL, University of Málaga (ES)
- Maura CERIOLI, University of Genova (IT)
- Shing-chi CHEUNG, Hong Kong University of Science and Technology (CN)
- Vittorio CORTELLESSA, University of l'Aquila (IT)
- Laurie DILLON, Michigan State University (US)
- Marlon DUMAS, Queensland University of Technology (AU)
- Schahram DUSTDAR, Technical University of Vienna (AT)
- Jose FIADEIRO, University of Leicester (UK), co-chair
- Harald GALL, University of Zürich (CH)
- Dimitra GIANNAKOPOULOU, NASA Ames Research Center (US)
- Holger GIESE, University of Paderborn (DE)
- Martin GLINZ, University of Zürich (CH)
- Reiko HECKEL, University of Leicester (UK)
- Paola INVERARDI, University of l'Aquila (IT), co-chair
- Valerie ISSARNY, INRIA Rocquencourt (FR)
- Daniel LE METAYER, INRIA Alpes (FR)
- Gary T. LEAVENS, Iowa State University (US)
- Antonia LOPES, University of Lisbon (PT)
- Angelika MADER, University of Twente (NL)
- Tom MAIBAUM, McMaster University (CA)
- Dominique MERY, University of Nancy (FR)
- Oscar NIERSTRASZ, University of Berne (CH)
- David ROSENBLUM, University College London (UK)
- Tetsuo TAMAI, University of Tokyo (JP)
- Gabriele TAENTZER, Philipps-Universität Marburg (DE)
- Sebastian UCHITEL, Imperial College London (UK)
- Martin WIRSING, University of Munich (DE)
- Pamela ZAVE, AT&T Labs (US)
Invited Speaker
Connie Heitmeyer, Naval Research Lab, US
Conference Page
http://www.cs.le.ac.uk/events/fase2008/
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.
Topics covered include, but are not limited to:
-
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
- Luca Aceto, Reijkjavik University
- Roberto Amadio (chair), Paris 7 University
- Lars Birkedal, IT University of Copenhagen
- Hubert Comon,ENS Cachan
- Thierry Coquand, Göteborg University
- Zoltan Esik, Szeged
- Dan Ghica, University of Birmingham
- Juergen Giesl, RWTH Aachen
- Martin Hofmann, LMU Munich
- Radha Jagadeesan, DePaul University
- Petr Jancar, Techincal University of Ostrava
- Leonid Libkin, University of Edinburgh
- Dale Miller, INRIA Futurs
- Eugenio Moggi, Genova
- Anca Muscholl, LABRI, Bordeaux
- Vincent van Oostrom, Utrecht University
- Prakash Panangaden, McGill University
- Jean-Francois Raskin, Bruxelles
- David Sands, Göteborg University
- Roberto Bruni, University of Pisa
- Colin Stirling, University of Edinburgh
- Pawel Urzyczyn,University of Warszawa
- Nobuko Yoshida, Imperial College, University of London
- Thomas Wilke, University of Kiel
Invited Speaker
Igor Walukiewicz, LaBRI Bordeaux
Conference Page
http://fossacs08.pps.jussieu.fr/
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
As TACAS addresses a heterogeneous audience, potential authors
are strongly encouraged to write about their ideas and findings
in general and jargon-independent, rather than in application-
and domain-specific, terms. Authors reporting on tools or case
studies are strongly encouraged to indicate how their
experimental results can be reproduced and confirmed
independently.
Programme Committee
- Patricia Bouyer, CNRS, Ecole Normale Superieure de Cachan (France)
- Ed Brinksma, ESI and University of Twente (The Netherlands)
- Tevfik Bultan, University of California, San Diego, California (USA)
- Rance Cleaveland, University of Maryland & Fraunhofer USA Inc, College Park, Maryland (USA)
- Byron Cook, Microsoft Research, Cambridge (UK)
- Bruno Dutertre, SRI, Menlo Park, California (USA)
- Patrice Godefroid, Microsoft Research, Redmond, Washington (USA)
- Orna Grumberg, TECHNION, Israel Institute of Technology, Haifa (Israel)
- Aarti Gupta, NEC Laboratories America Inc, Princeton, New Jersey (USA)
- Fritz Henglein, University of Copenhagen (Denmark)
- Michael Huth, Imperial College, London (UK)
- Joxan Jaffar, National University of Singapore (Singapore)
- Kurt Jensen, University of Aarhus (Denmark)
- Jens Knoop, Technical University, Vienna (Austria)
- Barbara Koenig, University of Duisburg-Essen (Germany)
- Marta Kwiatkowska, University of Birmingham, England (UK)
- Kim Larsen, Aalborg University, Aalborg (Denmark)
- Nancy Lynch, Massachusetts Institute of Technology, Cambridge, Massachusetts (USA)
- Kedar Namjoshi, Bell Labs, Murray Hill, New Jersey (USA)
- Paul Pettersson, Uppsala University (Sweden)
- Sriram Rajamani, Microsoft Research, Bangalore (India)
- C.R. Ramakrishnan (chair), Stony Brook University, New York (USA)
- Jakob Rehof (chair), University of Dortmund (Germany)
- Bill Roscoe, Oxford University (UK)
- Mooly Sagiv, Tel Aviv University (Israel)
- Stefan Schwoon, University of Stuttgart (Germany)
- Bernhard Steffen, University of Dortmund (Germany)
- Lenore Zuck, University of Illinois, Chicago, Illinois (USA)
|
Invited Speaker
Sharad Malik , Princeton, USA
Conference Page
http://www.cs.stonybrook.edu/~tacas2008