FASE'06 CALL FOR PAPERS; Submission Deadline: 7 October 2005 (Vienna, Mar 06)

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)

Return to the comp.compilers page.
Search the comp.compilers archives again.