FASE'08: abstracts due October 5

José Luiz Fiadeiro <[email protected]> Tue, 24 Jul 2007 15:19:39 +0100
Newsgroups gmane.comp.lang.clean,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.haskell.general,gmane.comp.lang.mercury.advertisments
Message-ID <[email protected]>
FASE - Fundamental Approaches to Software Engineering

Budapest (Hungary), March 29 - April 6, 2008

http://www.cs.le.ac.uk/events/fase2008/


FASE is concerned with the foundations on which Software Engineering =20
is built. Submissions should not focus on the application or =20
evaluation of given methods, tools or techniques for their own sake =20
but, rather, the principles on which they are based and the way in =20
which they contribute to making Software Engineering a more mature =20
and soundly-based discipline. Contributions that combine the =20
development of conceptual and methodological advances with their =20
formal foundations and tool support are particularly encouraged. We =20
welcome contributions on all such fundamental approaches, including:

=B7    SE as an engineering discipline, including its interaction with =20
and impact on society;
=B7    Requirements engineering;
=B7    Domain modelling;
=B7    Software architectures;
=B7    Specification and design;
=B7    Engineering of particular classes of systems (e.g. =20
collaborative, service-oriented, software-intensive, ubiquitous);
=B7    Software processes;
=B7    Model-driven development;
=B7    Software evolution;
=B7    Validation and verification;
=B7    Testing.

Important Dates

5 October 2007: Submission deadline (strict) for abstracts of =20
research and tool demonstration papers
12 October 2007: Submission deadline (strict) for full versions of =20
research and tool demonstration papers


Programme Committee

Don BATORY, University of Texas at Austin (US)
Ruth BREU, University of Innsbruck (AT)
Carlos CANAL, University of M=E1laga (ES)
Maura CERIOLI, University of Genova (IT)
Shing-chi CHEUNG, Hong Kong University of Science and Technology (CN)
Vittorio CORTELLESSA, University of l'Aquila (IT)
Laurie DILLON, Michigan State University (US)
Marlon DUMAS, Queensland University of Technology (AU)
Schahram DUSTDAR, Technical University of Vienna (AT)
Jose FIADEIRO, University of Leicester (UK), co-chair
Harald GALL, University of Z=FCrich (CH)
Dimitra GIANNAKOPOULOU, NASA Ames Research Center (US)
Holger GIESE, University of Paderborn (DE)
Martin GLINZ, University of Z=FCrich (CH)
Reiko HECKEL, University of Leicester (UK)
Paola INVERARDI, University of l'Aquila (IT), co-chair
Valerie ISSARNY, INRIA Rocquencourt (FR)
Daniel LE METAYER, Trusted Logic (FR)
Gary T. LEAVENS, Iowa State University (US)
Antonia LOPES, University of Lisbon (PT)
Angelica MADER, University of Twente (NL)
Tom MAIBAUM, McMaster University (CA)
Dominique MERY, University of Nancy (FR)
Oscar NIERSTRASZ, University of Berne (CH)
David ROSENBLUM, University College London (UK)
Tetsuo TAMAI, University of Tokyo (JP)
Gabriele TAENTZER, Technical University of Berlin (DE)
Sebastian UCHITEL, Imperial College London (UK)
Martin WIRSING, University of Munich (DE)
Pamela ZAVE, AT&T Labs (US)