FASE 2012 - 15th International Conference on Fundamental Approaches to Software Engineering

Website http://www.etaps.org/2012/fase | Edit Freely

Category Software Engineering; Requirements engineering; Software architectures; Specification methods; Software quality; Model-Driven Engineering; Model Transformation; Software processes; Software evolution

Deadline: October 07, 2011 | Date: March 24, 2012-March 26, 2012

Venue/Country: Tallinn, Estonia

Updated: 2011-07-25 00:30:21 (GMT+9)

Call For Papers - CFP

FASE 2012

15th International Conference on

Fundamental Approaches to Software Engineering

http://www.etaps.org/2012/fase

Member conference of

ETAPS 2012

European Joint Conferences on Theory and Practice of Software

http://www.etaps.org/2012/

Tallinn, Estonia, 24 March - 1 April 2012

Conference Description

FASE is a member conference of the European Joint Conferences on

Theory and Practice of Software (ETAPS), which is the primary

European forum for academic and industrial researchers working on

topics relating to Software Science. ETAPS 2012 is the fifteenth

joint conference in this series.

Important Dates

7 October 2011 : Submission deadline for abstracts (strict)

14 October 2011 : Submission deadline for full papers (strict)

16 December 2011 : Notification of acceptance/rejection

6 January 2012 : Camera-ready versions due (strict)

24 March - 1 April 2012: ETAPS 2012

Call for Papers

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:

- Software Engineering 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, refinement

methods, metrics or visualisation techniques;

- Model-driven development and model-transformation: meta-modelling,

design and semantics of Domain Specific Languages, consistency and

transformation of models, generative architectures;

- Software quality: validation and verification of software using

theorem proving, model-checking, testing, analysis, metrics or

visualisation techniques;

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

Submission

ETAPS conferences accept two types of contributions: research papers

and tool demonstration papers. Both types of contributions will appear

in the proceedings and have presentations during the conference.

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. As electronical submission system we use

EasyChair. Please use http://www.easychair.org/conferences/?conf=fase2012

to submit your paper.

Research papers

Research 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

Tool demonstration papers should describe novel and state-of-the-art

tools. Submissions should consist of two parts. The first part, no more

than 4 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, no more than 6 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

Wil van der Aalst, Technische Universiteit Eindhoven (The Netherlands)

Committees

Programme Co-Chairs:

- Andrea Zisman, City University (London, UK)

- Juan de Lara, Universidad Autónoma de Madrid (Spain)

Programme Committee

- Luca de Alfaro (Google, USA),

- Luciano Baresi (Polytechn. Univ. of Milan, Italy),

- Don Batory (Univ. of Texas at Austin, USA),

- Artur Boronat (Univ. of Leicester, UK),

- Paolo Bottoni ("Sapienza" Univ. of Rome, Italy),

- Marsha Chechik (Univ. of Toronto, Canada),

- S. C. Cheung (Hong Kong Univ. of Sci. and Techn., Hong Kong),

- Jürgen Dingel (Queen's Univ., Canada),

- Gregor Engels (Univ. of Paderborn, Germany),

- Claudia Ermel (Technical Univ. of Berlin, Germany),

- Dimitra Giannakopoulou (Carnegie Mellon Univ. / NASA Ames, USA),

- Holger Giese (Hasso Plattner Inst., Germany),

- Esther Guerra (Univ. Autónoma de Madrid, Spain),

- Reiko Heckel (Univ. of Leicester, UK),

- John Hosking (Univ. of Auckland, New Zealand),

- Christos Kloukinas (City Univ., London, UK),

- Alexander Knapp (Univ. of Augsburg, Germany),

- Jeff Kramer (Imperial College, UK),

- Luis Lamb (Federal Univ. of Rio Grande do Sul, Brazil),

- Yngve Lamo (Bergen Univ. College, Norway),

- Tiziana Margaria (Univ. of Potsdam, Germany),

- Fernando Orejas (Polytechn. Univ. of Catalunya, Spain),

- Richard Paige (Univ. of York, UK),

- Alfonso Pierantonio (Univ. of Aquila, Italy),

- Andy Schürr (TU Darmstadt, Germany),

- George Spanoudakis (City Univ., London, UK),

- Gabriele Taentzer (Univ. of Marburg, Germany),

- Daniel Varró (Budapest Univ. of Technology and Economics, Hungary)

Steering Committee

- Marsha Chechik, University of Toronto (Canada)

- Hartmut Ehrig, Technical University of Berlin(Germany)

- Dimitra Giannakopoulou, Carnegie Mellon University/NASA Ames (USA)

- Juan de Lara, Universidad Autónoma de Madrid (Spain)

- Tiziana Margaria, Universität Potsdam (Germany)

- Fernando Orejas, Universitat Politècnica de Catalunya (Spain)

- David Rosenblum, University College London (UK)

- Gabriele Taentzer, Philipps-Universität Marburg (Germany) (SC Chair)

- Martin Wirsing, Ludwig-Maximilians-University Munich (Germany)

- Andrea Zisman, City University (London, UK)