From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 2CDDBBC6B for ; Tue, 24 Jul 2007 16:22:03 +0200 (CEST) Received: from athena.le.ac.uk (athena.le.ac.uk [143.210.16.127]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6OEM25t029018 for ; Tue, 24 Jul 2007 16:22:02 +0200 Received: from [143.210.72.19] (helo=scyros.mcs.le.ac.uk) by athena.le.ac.uk with esmtp (Exim 4.44) id 1IDLEn-0002Z1-4O; Tue, 24 Jul 2007 15:19:45 +0100 Received: from [143.210.72.207] (pc207.mcs.le.ac.uk [143.210.72.207]) by scyros.mcs.le.ac.uk (Postfix) with ESMTP id 81DD7233832; Tue, 24 Jul 2007 15:19:44 +0100 (BST) Mime-Version: 1.0 (Apple Message framework v752.2) Content-Transfer-Encoding: quoted-printable Message-Id: <52485A5C-4E87-4F03-AAF2-562C7A876817@fiadeiro.org> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed 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 , 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@www.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@martigny.ai.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 From: =?ISO-8859-1?Q?Jos=E9_Luiz_Fiadeiro?= Subject: FASE'08: abstracts due October 5 Date: Tue, 24 Jul 2007 15:19:39 +0100 X-Mailer: Apple Mail (2.752.2) X-UoL-Id: 58cad323443ac0cd8b844e4b3fb17500@1IDLEn-0002Z1-4O@athena.le.ac.uk X-Miltered: at discorde with ID 46A60B0A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; laga:01 genova:01 giese:01 paderborn:01 rocquencourt:01 metayer:01 twente:01 wirsing:01 cheung:98 dillon:98 gary:98 angelica:98 pamela:98 interaction:02 fiadeiro:02 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)