CALL FOR SUBMISSIONS

Submission deadline: October 18, 2002

ETAPS main conferences accept two types of contributions:

Research papers:

Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.

The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately.

Instructions on how to submit are available at the URL of each individual conference.

Tool demonstration papers:

Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately.

Tool demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be approximately the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the proceedings of the relevant ETAPS conference, describing the main features of the tool. There will be opportunities for follow-up demonstrations with individuals and small groups.

Submissions should follow the instructions published in the URL of the relevant conference. They should take the form of a self-contained tool description of no more than 4 pages in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated - preferably with some sample screen snapshots - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool.

N.B. Tool demonstrations should not be confused with research contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application.

MAIN CONFERENCES

CC 2003: International Conference on Compiler Construction

CC 2003 is concerned with recent developments in compiler construction, programming language implementation, and language design. It emphasizes practical and efficient methods and tools for all phases of compilation and for all language paradigms. Topics of interest include, but are not limited to:

Compilation and interpretation techniques, including parsing, type checking, static analysis, code generation, and code optimization.
Run-time issues, including memory management, dynamic compilation, dynamic linking and loading.
Language constructs and their implementation.
Modularization constructs and techniques for separate compilation.
Implementation of domain specific languages.
Tools for compiler construction or language support, including debuggers, profilers, refactoring tools, etc.

Programme Committee:

Uwe Aßmann (Sweden), Isabelle Attali (France), Judith Bishop (South Africa), Mark van den Brand (The Netherlands), Peter Dickman (UK), Evelyn Duesterwald (USA), Tibor Gyimothy (Hungary), Görel Hedin (Sweden), Nigel Horspool (Canada), Uwe Kastens (Germany), Oege de Moor (UK), Mooly Sagiv (Israel), Vivek Sarkar (USA), Pierluigi San Pietro (Italy), Reinhard Wilhelm (Germany), Jan Vitek (USA), Jingling Xue (Australia)

PC Chair
Görel Hedin (Lund, Sweden)
e-mail: gorel@cs.lth.se

Invited speaker
Barbara Ryder (Rutgers, USA)

http://www.cs.lth.se/~gorel/cc03/

ESOP 2003: 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.
Studies of their formal properties.
Techniques, methods and tools for their implementation.
Exploitation of programming styles within different programming paradigms.
Automatic and manual methods for 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, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Programme Committee:

Patrick Cousot (France), Pierpaolo Degano (Italy), Mariangiola Dezani-Ciancaglini (Italy), Cédric Fournet (UK), Joshua Guttman (USA), John Hughes (Sweden), John Mitchell (USA), Alan Mycroft (UK), Hanne Riis Nielson (Denmark), Oscar Nierstrasz (Switzerland), Catuscia Palamidessi (USA), David Schmidt (USA), Helmut Seidl (Germany), Perdita Stevens (UK)

PC Chair
Pierpaolo Degano (Pisa, Italy)
e-mail: degano@di.unipi.it

Invited speaker
Catherine Meadows (Naval Research Laboratory, USA)

http://www.di.unipi.it/ESOP03

FASE 2003: Fundamental Approaches to Software Engineering

Large scale Information and Communication Infrastructures are of growing concern to industry and public organizations. They are expected to exist indefinitely long, are supposed to be flexibly adjustable to new requirements and are hence demanded to encompass evolvable software systems. Quality is increasingly important in classic as well as new application domains. This poses new challenges to software engineering research and practice: new software structuring and scaling concepts are needed for heterogeneous software federations that consist of numerous autonomously developed, communicating and inter-operating systems; new software development processes are needed to enable the continuous improvement and extension of heterogeneous software federations. New quality assurance methods are needed to guarantee acceptable standards of increasingly complex software applications.

Different component paradigms are under discussion now, a large number of specification and modelling language are proposed and an increasing number of software development tools and environments are made available to cope with the problems. At the same time research on new theories, concepts and techniques is under way that aims at the development of their precise and (mathematically) formal foundation.

Contributions are encouraged that aim at both pragmatic concepts and their formal foundation that can lead to new engineering practices and a higher level of reliability robustness and evolvability of heterogeneous software federations. Especially sought are submissions on:

Component-based software architectures: design methods and strategies, design patterns, quality assurance.
Integration platforms and middleware systems for large scale heterogeneous software federations.
Requirements engineering: techniques for acquiring, modelling, specifying and analyzing software components.
Mobile computing and distributed and mobile applications: design issues, dynamic languages and application architectures, quality assurance.
Testing, analysis and verification: algorithms, techniques, and processes concerned with assuring, developing, or assessing software with respect to requirements or goals.
Measurement, metrics, experimentation: Integration of metrics gathering and evaluation into processes. Experimental paradigms for software research. Integration of multiple metrics.
Integration of formal concepts and current best practices concepts in industrial software development.
Experience reports on best practices with component models and specifications, development tools, modelling environments, and software development kits.

Programme Committee:

Luciano Baresi (Italy), Andrea Corradini (Italy), Hartmut Ehrig (Germany), José Luis Fiadeiro (Portugal), Istvan Forgács (Hungary), Marie-Claude Gaudel (France), Heinrich Hußmann (Germany), Mehdi Jazayery (Austria), Leon Osterweil (USA), Mauro Pezzè (Italy), Gianna Reggio (Italy), Andreas Schuerr (Germany), Richard Taylor (USA), Roel Wieringa (The Netherlands)

PC Chair
Mauro Pezzè (Italy)
e-mail: pezze@disco.unimib.it

Invited speaker
Michal Young (Oregon, USA)

http://www.lta.disco.unimib.it/fase2003

FOSSACS 2003: 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,
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,
Transition systems,
Type systems and type theory.

Programme Committee:

Witold Charatonik (Germany & Poland), Adriana Compagnoni (USA), Vincent Danos (France), Andrew Gordon (Chair, UK), Roberto Gorrieri (Italy), Marta Kwiatkowska (UK), Eugenio Moggi (Italy), Uwe Nestmann (Switzerland), Mogens Nielsen (Denmark), Flemming Nielson (Denmark), Francesco Parisi-Presicce (Italy), Dusko Pavlovic (USA), François Pottier (France), P.S. Thiagarajan (Singapore), Igor Walukiewicz (France), Pierre Wolper (Belgium)

PC Chair
Andrew Gordon (Microsoft Research, UK)
e-mail: adg@microsoft.com

Invited speaker
Samson Abramsky (Oxford, UK)

http://research.microsoft.com/~adg/FOSSACS03

TACAS 2003: Tools and Algorithms for the Construction and Analysis of Systems

TACAS is a forum for researchers, developers and users interested in rigorously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between different communities - including but not limited to those devoted to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols - that have traditionally had little interaction but share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures and methodologies, TACAS aims to support researchers in their quest to improve the utility, reliability, flexibility and efficiency of tools for building systems.

Tool descriptions and case studies with a conceptual message and theoretical papers with a clear link to tool construction are all encouraged. The specific topics covered by the conference include, but are not limited to, the following:

Specification and verification techniques,
Theorem-proving and model-checking,
System construction and transformation techniques,
Static and run-time analysis,
Compositional and refinement-based methodologies,
Testing and test-case generation,
Analytical techniques for real-time, hybrid and safety-critical systems,
Tool environments and tool architectures,
Applications and case studies.

As TACAS addresses a heterogeneous audience, potential authors are strongly encouraged to write about their ideas in general and jargon-independent, rather than 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:

Rajeev Alur (USA), Albert Benveniste (France), Ahmed Bouajjani (France), Rance Cleaveland (USA), Werner Damm (Germany), Luca de Alfaro (USA), Alessandro Fantechi (Italy), Alain Finkel (France), Hubert Garavel (co-chair, France), Patrice Godefroid (USA), Susanne Graf (France), Jan Friso Groote (The Netherlands), Orna Grumberg (Israel), John Hatcliff (co-chair, USA), Kurt Jensen (tool chair, Denmark), Bengt Jonsson (Sweden), Joost-Pieter Katoen (The Netherlands), Kim Larsen (Denmark), Doron Peled(USA), Sriram K. Rajamani (USA), John Rushby (USA), Steve Schneider (UK), Gregor Snelting (Germany), Bernhard Steffen (Germany), Willem Visser (USA)

PC Co-Chairs
Hubert Garavel (INRIA, France), e-mail: Hubert.Garavel@inria.fr
John Hatcliff (Kansas State, USA), e-mail: hatcliff@cis.ksu.edu

Tool Chair
Kurt Jensen (Aarhus, Denmark)
e-mail: kjensen@daimi.au.dk

Invited speaker
Peter Lee (Carnegie Mellon, USA)

http://www.inrialpes.fr/vasy/tacas03/

Information maintained by Slawomir Leszczynski