FASE'06 CALL FOR PAPERS

Fundamental Approaches to Software Engineering
Vienna (Austria), March 27-29, 2006

http://www.elet.polimi.it/conferences/fase06/

The information society is increasingly reliant on software at all 
levels. Hence, the ability to produce software of high quality at low 
cost is crucial to technological and social progresses. An intrinsic 
characteristic of software addressing real-world applications is the 
need to evolve in order to adjust to new or changing requirements. 
Maintaining quality while embracing change is one of the main challenges 
of software engineering.

Software engineers have at their disposal theories, languages, methods, 
and tools that derive from both systematic research of the academic 
community and the experience of practitioners. It is one of the roles of 
software engineering as a scientific discipline to create a feedback 
cycle between academia and industry by proposing new solutions and 
identifying those that "work" in practical contexts.

Submissions may address either academic research or industrial 
experiences, but they must clearly identify the problem and the 
envisaged solution. Particularly, contributions are encouraged that aim 
at a combination of conceptual and methodological aspects with their 
formal foundation and tool support.

A non-exclusive list of topics of interest is:

* Requirements engineering: capture, consistency, and change management 
of requirements towards software
* Software architectures: description and analysis of the architecture 
of individual systems or classes of applications
* Implementation concepts and technologies: distributed, mobile, and 
embedded applications, service-oriented architectures and Web Services
* Software processes: support for iterative, agile, and open source 
development
* Model-driven development: design and semantics of semi-formal visual 
languages, consistency and transformation of models
* Software evolution: refactoring, reverse and re-engineering, 
configuration management and architectural change, or aspect-orientation
* Software quality: validation and verification of software using 
theorem proving, testing, analysis, metrics or visualization techniques
* Application of formal methods to software development

Important dates

* Friday 7 October 2005: Submission deadline for abstracts
* Friday 14 October 2005: Submission deadline for full papers (strict)
* Friday 9 December 2005: Notification of acceptance/rejection
* Friday 6 January 2006: Camera-ready version due
* Saturday 25 March to Sunday 2 April 2006: ETAPS 2006

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. 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. All 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.

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

Final papers will be no more than 15 pages long, and should present 
original research. 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 not be included in the 
proceedings, but will be evaluated.)

Invited speaker

* Francisco Curbera (IBM TJ Watson, USA)

Program committee

* Jan Øyvind Aagedal (SINTEF, Oslo, Norway),
* Luciano Baresi (Politecnico di Milano), co-chair,
* Jean Bezivin (University of Nantes, France),
* Victor Braberman (University of Buenos Aires, Argentina),
* Maura Cerioli (University of Genova, Italy),
* Matt Dwyer (University of Nebraska, USA),
* Anthony Finkelstein (University College London, UK),
* Harald Gall (University of Zurich, Switzerland),
* Alan Hartman (IBM, Israel),
* Reiko Heckel (University of Leicester, UK), co-chair,
* Mehdi Jazayeri (University of Vienna, Austria),
* Antonia Lopes (University of Lisbon, Portugal),
* Sandro Morasca (Universita' dell'Insubria, Italy),
* András Pataricza (Budapest University of Technology and Economics, 
Hungary),
* Mauro Pezzè (University of Milano-Bicocca, Italy),
* Arend Rensink (University of Twente, The Netherlands),
* Leila Ribeiro (Federal University of Rio Grande do Sul, Porto Alegre, 
Brazil),
* Andy Schürr (University of Darmstadt, Germany),
* Gabi Taentzer (University of Berlin, Germany),
* Tetsuo Tamai (University of Tokio, Japan),
* Sebastian Uchitel (Imperial College, UK),
* Heike Werheim (University of Oldenburg, Germany),
* Michel Wermelinger (Open University, UK),
* Alex Wolf (University of Colorado, USA),
* Michal Young (University of Oregon, USA)