posted by system || 10271 views || tracked by 22 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Fundamental Approaches to Software Engineering
 
Link: http://www.etaps.org/2012/fase
 
When Mar 24, 2012 - Apr 1, 2012
Where Tallinn, Estonia
Abstract Registration Due Oct 7, 2011
Submission Deadline Oct 14, 2011
Notification Due Dec 16, 2011
Final Version Due Jan 6, 2012
Categories    software engineering
 

Call For Papers

******************************************************************
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)

Related Resources

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
NovelIQA 2024   Novel Approaches to Image Quality Assessment