[ecoop-info] CfP : FASE 2013 - 16th International Conference on Fundamental Approaches to Software Engineering
Vittorio Cortellessa
vittorio.cortellessa at univaq.it
Tue Sep 25 10:19:16 CEST 2012
------------------------------------------------------------------------
- Our apologies if you receive multiple copies of this CFP -
------------------------------------------------------------------------
CALL FOR PAPERS
FASE 2013
http://www.etaps.org/2013/fase13
16th International Conference on
Fundamental Approaches to Software Engineering
Rome, Italy, March 16-24, 2013
A conference of ETAPS 2013 :
http://www.etaps.org/
European Joint Conferences on Theory and Practice of
Software
------------------------------------------------------------------------
IMPORTANT DATES
7 October 2012: Abstract Submission
14 October 2012: Paper Submission
14 December 2012: Author Notification
8 January 2013: Camera-ready version
------------------------------------------------------------------------
SCOPE AND TOPICS
FASE is concerned with the foundations on which software engineering is
built.
Submissions should focus on novel techniques 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 processes: support for iterative, agile, and open source
development;
Software evolution: refactoring, reverse and re-engineering, configuration
management
and architectural change, or aspect-orientation.
GENERAL SUBMISSION GUIDELINES
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.
They 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 Advanced Research in Computing and Software Science
(ARCoSS) subline
Springer's Lecture Notes in Computer Science series.
Papers must follow the formatting guidelines specified by Springer at the
URL:
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface at the URL:
https://www.easychair.org/account/signin.cgi?conf=fase2013
Submissions not adhering to the specified format and length may be rejected
immediately.
- Research papers
Page limit is 15 pages. 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. FASE referees are at liberty to ignore appendices and
papers must be understandable
without them.
- Tool demonstration papers
Submissions should consist of two parts:
The first part, at most 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, at most 6 pages, should explain how the demonstration will
be carried out and what it
will show, including screen dumps and examples. (This part will be not be
included in the proceedings,
but will be evaluated.)
INVITED SPEAKER
Krzysztof Czarnecki (Univ. of Waterloo, Canada)
PROGRAMME CO-CHAIRS
Vittorio Cortellessa (Università dell'Aquila, Italy)
Daniel Varró (Budapest University of Technology and Economics, Hungary)
PROGRAMME COMMITTEE
Marco Bernardo (Università di Urbino, Italy)
Ruth Breu (University of Innsbruck, Austria)
Shing-Chi Cheung (The Hong Kong University of Science and Technology)
Bojan Cukic (West Virginia University, USA)
Juan de Lara (Universidad Autónoma de Madrid, Spain)
Ewen Denney (NASA, USA)
Jürgen Dingel (Queen's University, Canada)
Alexander Egyed (Johannes Kepler University, Austria)
Claudia Ermel (Technische Universität Berlin, Germany)
Rudolf Ferenc (University of Szeged, Hungary)
Holger Giese (Universität Potsdam, Germany)
Paul Grace (Lancaster University, UK)
Reiko Heckel (University of Leicester, UK)
John Hosking (University of Auckland, New Zealand)
Valerie Issarny (INRIA, France)
Jochen Küster (IBM, Switzerland)
Raffaela Mirandola (Politecnico di Milano, Italy)
Richard Paige (University of York, UK)
Dorina Petriu (Carleton University, Canada)
Alfonso Pierantonio (Universita dell'Aquila, Italy)
Claudia Pons (University of La Plata, Argentina)
Abhik Roychoudhury (National University of Singapore)
Andy Schürr (TU Darmstadt, Germany)
Bran Selic (Malina Software Corp., Canada)
Gabriele Taentzer (Philipps-Universität Marburg, Germany)
Nicolai Tillmann (Microsoft Research, USA)
Virginie Wiels (Onera, France)
Andrea Zisman (City University London, UK)
---------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120925/aa7ae0ed/attachment.html
More information about the ecoop-info
mailing list