From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A863BBBD7 for ; Wed, 3 Aug 2005 01:10:26 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j72NAApN001041 for ; Wed, 3 Aug 2005 01:10:10 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA26147 for ; Wed, 3 Aug 2005 01:10:09 +0200 (MET DST) Received: from artemis.le.ac.uk (ntp2c.le.ac.uk [143.210.4.129]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j72NA9Qd019662 for ; Wed, 3 Aug 2005 01:10:09 +0200 Received: from [143.210.72.249] (helo=scyros.mcs.le.ac.uk) by artemis.le.ac.uk with esmtp (Exim 4.44) id 1E05sR-0005sq-Ft; Wed, 03 Aug 2005 00:08:52 +0100 Received: from pc27 (pc27.mcs.le.ac.uk [143.210.72.73]) by scyros.mcs.le.ac.uk (Postfix) with ESMTP id 2B9891009EA; Wed, 3 Aug 2005 00:08:54 +0100 (BST) Received: from localhost ([127.0.0.1] ident=rh122) by pc27 with esmtp (Exim 4.50 #1 (Debian)) id 1E05sQ-0001xD-P9; Wed, 03 Aug 2005 00:08:51 +0100 Message-ID: <42EFFD04.1050900@mcs.le.ac.uk> Date: Wed, 03 Aug 2005 00:08:52 +0100 From: Reiko Heckel User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.8) Gecko/20050511 X-Accept-Language: en-us, en MIME-Version: 1.0 To: acl2@cs.utexas.edu, agents@cs.umbc.edu, aiia@di.unito.it, apes@cs.strath.ac.uk, appsem-discussion@harlequin.co.uk, appsem-ed-site@dcs.ed.ac.uk, appsem-local@di.uminho.pt, appsem@disi.unige.it, appsem@pauillac.inria.fr, behavior@cs.ucsd.edu, cafeobj@sran419.sra.co.jp, caml-list@inria.fr, categories@mta.ca, ccl@dfki.uni-sb.de, clean-list@cs.kun.nl, clp@iscs.nus.edu.sg, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dataloger@cs.chalmers.se, dbworld@cs.wisc.edu, dreamers@dai.ed.ac.uk, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, elan-users@loria.fr, elf-list@cs.cmu.edu, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, forte2003@Informatik.TU-Cottbus.DE, generative@rz.tu-ilmenau.de, generic-haskell@cs.uu.nl, gulp@di.unipi.it, harning@sigchi.dk, haskell@haskell.org, hise-safety-critical@minster.cs.york.ac.uk, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, imps@linus.mitre.org, isabelle-users@cl.cam.ac.uk, isda02@softcomputing.net, lfcs-interest@dcs.ed.ac.uk, lics-request@dcs.ed.ac.uk, lics@research.att.com, lics@research.bell-labs.com, linear@cs.stanford.edu, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, lotos-world@site.uottawa.ca, lpnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu, m4m@science.uva.nl, maude@csl.sri.com, mercury-ads@cs.mu.oz.au, multi@cs.chalmers.se, nuprllist@CS.Cornell.EDU, nuprlnotes@www1.cs.cornell.edu, om-announce@lars.math.fsu.edu, oose@uni-paderborn.de, pop-group@cs.cmu.edu, post+comp.compilers@andrew.cmu.edu, post+comp.lang.functional@andrew.cmu.edu, post+comp.lang.ml@andrew.cmu.edu, post+comp.lang.scheme@andrew.cmu.edu, prog-lang@brics.dk, prog-lang@daimi.aau.dk, prog-lang@diku.dk, proglog@cs.chalmers.se, prolog-vendors@sics.se, prologia@prologianet.univ-mrs.fr, pvs@csl.sri.com, qed@mcs.anl.gov, reus@informatik.uni-muenchen.de, rewriting@ens-lyon.fr, scheme48@zurich.csail.mit.edu, scheme@mc.lcs.mit.edu, seworld@cs.colorado.edu, sicstus-users@sics.se, sig-coord@flp.cs.tu-berlin.de, smid-medl@imv.au.dk, stimdi-rek-subscribe@yahoogroups.com, stochver@cs.bham.ac.uk, streicher@mathematik.tu-darmstadt.de, theorem-provers@ai.mit.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, webmaster@eatcs.org, zeves@ora.on.ca, zforum@comlab.ox.ac.uk, zforum@prg.ox.ac.uk Subject: FASE'06 CALL FOR PAPERS; Submission Deadline: 7 October 2005 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-UoL-Id: 570ec499a9aecd403e7d0a23ac8c8316@1E05sR-0005sq-Ft@artemis.le.ac.uk X-Miltered: at concorde with ID 42EFFD52.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42EFFD51.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; real-world:01 iterative:01 semantics:01 etaps:01 etaps:01 attends:01 unpublished:01 lncs:01 referee:01 politecnico:01 genova:01 sandro:01 universita':01 twente:01 darmstadt:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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=20 levels. Hence, the ability to produce software of high quality at low=20 cost is crucial to technological and social progresses. An intrinsic=20 characteristic of software addressing real-world applications is the=20 need to evolve in order to adjust to new or changing requirements.=20 Maintaining quality while embracing change is one of the main challenges=20 of software engineering. Software engineers have at their disposal theories, languages, methods,=20 and tools that derive from both systematic research of the academic=20 community and the experience of practitioners. It is one of the roles of=20 software engineering as a scientific discipline to create a feedback=20 cycle between academia and industry by proposing new solutions and=20 identifying those that "work" in practical contexts. Submissions may address either academic research or industrial=20 experiences, but they must clearly identify the problem and the=20 envisaged solution. Particularly, contributions are encouraged that aim=20 at a combination of conceptual and methodological aspects with their=20 formal foundation and tool support. A non-exclusive list of topics of interest is: * Requirements engineering: capture, consistency, and change management=20 of requirements towards software * Software architectures: description and analysis of the architecture=20 of individual systems or classes of applications * Implementation concepts and technologies: distributed, mobile, and=20 embedded applications, service-oriented architectures and Web Services * Software processes: support for iterative, agile, and open source=20 development * Model-driven development: design and semantics of semi-formal visual=20 languages, consistency and transformation of models * Software evolution: refactoring, reverse and re-engineering,=20 configuration management and architectural change, or aspect-orientation * Software quality: validation and verification of software using=20 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=20 tool demonstration papers. Both types will appear in the proceedings and=20 have presentations during the conference. A condition of submission is=20 that, if the submission is accepted, one of the authors attends the=20 conference to give the presentation. Submitted papers must be in English=20 presenting original research. All submitted papers must be unpublished=20 and not submitted for publication elsewhere. In particular, simultaneous=20 submission of the same contribution to multiple ETAPS conferences is=20 forbidden. Papers should be submitted electronically in PDF (preferably) or PS=20 (using Type 1 fonts). The proceedings will be published in the=20 Springer-Verlag Lecture Notes in Computer Science series. Final papers=20 will be in the format specified by Springer-Verlag at the URL:=20 http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to the specified format and=20 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=20 original research. Additional material intended for the referee but not=20 for publication in the final version - for example details of proofs -=20 may be placed in a clearly marked appendix that is not included in the=20 page limit. Tool demonstration papers Submissions should consist of two parts: * The first part, at most four pages, should describe the tool=20 presented. Please include the URL of the tool (if available) and provide=20 information which illustrates the maturity and robustness of the tool.=20 (This part will be included in the proceedings.) * The second part, at most six pages, should explain how the=20 demonstration will be carried out and what it will show, including=20 screen dumps and examples. (This part will not be included in the=20 proceedings, but will be evaluated.) Invited speaker * Francisco Curbera (IBM TJ Watson, USA) Program committee * Jan =D8yvind 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=E1s Pataricza (Budapest University of Technology and Economics,=20 Hungary), * Mauro Pezz=E8 (University of Milano-Bicocca, Italy), * Arend Rensink (University of Twente, The Netherlands), * Leila Ribeiro (Federal University of Rio Grande do Sul, Porto Alegre,=20 Brazil), * Andy Sch=FCrr (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)