coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FASE'08: abstracts due October 5

From: Jos� Luiz Fiadeiro <jose AT fiadeiro.org>
To: acl2 AT cs.utexas.edu, agents AT cs.umbc.edu, aiia AT di.unito.it, apes AT cs.strath.ac.uk, appsem-discussion AT harlequin.co.uk, appsem-ed-site AT dcs.ed.ac.uk, appsem-local AT di.uminho.pt, appsem AT disi.unige.it, appsem AT pauillac.inria.fr, behavior AT cs.ucsd.edu, cafeobj AT sran419.sra.co.jp, caml-list AT inria.fr, categories <categories AT mta.ca>, ccl AT dfki.uni-sb.de, clean-list AT cs.kun.nl, clp AT iscs.nus.edu.sg, cmcs AT cs.indiana.edu, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, coq-club AT pauillac.inria.fr, cs-logic AT cs.indiana.edu, csl AT dbai.tuwien.ac.at, csp AT carlit.toulouse.inra.fr, dataloger AT cs.chalmers.se, dbworld AT cs.wisc.edu, dreamers AT dai.ed.ac.uk, eapls AT jiscmail.ac.uk, eatcs-it-l AT unifi.it, elan-users AT loria.fr, elf-list AT cs.cmu.edu, etalle AT cs.utwente.nl, focs AT comlab.ox.ac.uk, formal-methods AT cs.uidaho.edu, forte2003 AT Informatik.TU-Cottbus.DE, generative AT rz.tu-ilmenau.de, generic-haskell AT cs.uu.nl, gulp AT di.unipi.it, harning AT sigchi.dk, haskell AT haskell.org, hise-safety-critical AT minster.cs.york.ac.uk, idss AT socs.uts.EDU.AU, ifip AT ifip.or.at, ifmsig AT cs.tcd.ie, imps AT linus.mitre.org, isabelle-users AT cl.cam.ac.uk, isda02 AT softcomputing.net, lfcs-interest AT dcs.ed.ac.uk, lics-request AT dcs.ed.ac.uk, lics AT research.att.com, lics AT research.bell-labs.com, linear AT cs.stanford.edu, logic-announce AT uclink4.berkeley.edu, logic-list AT cs.rice.edu, lotos-world AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lprolog-list AT cis.upenn.edu, lprolog AT cis.upenn.edu, m4m AT science.uva.nl, maude AT csl.sri.com, mercury-ads AT cs.mu.oz.au, multi AT cs.chalmers.se, nuprllist AT CS.Cornell.EDU, nuprlnotes AT www1.cs.cornell.edu, om-announce AT lars.math.fsu.edu, oose AT uni-paderborn.de, pop-group AT cs.cmu.edu, post+comp.compilers AT andrew.cmu.edu, post+comp.lang.functional AT andrew.cmu.edu, post+comp.lang.ml AT andrew.cmu.edu, post+comp.lang.scheme AT andrew.cmu.edu, prog-lang AT brics.dk, prog-lang AT daimi.aau.dk, prog-lang AT diku.dk, proglog AT cs.chalmers.se, prolog-vendors AT sics.se, prologia AT prologianet.univ-mrs.fr, pvs AT csl.sri.com, qed AT mcs.anl.gov, reus AT informatik.uni-muenchen.de, rewriting AT ens-lyon.fr, scheme48 AT zurich.csail.mit.edu, scheme AT mc.lcs.mit.edu, seworld AT cs.colorado.edu, sicstus-users AT sics.se, sig-coord AT flp.cs.tu-berlin.de, smid-medl AT imv.au.dk, stimdi-rek-subscribe AT yahoogroups.com, stochver AT cs.bham.ac.uk, streicher AT mathematik.tu-darmstadt.de, theorem-provers AT ai.mit.edu, theory AT brics.dk, theory AT cl.cam.ac.uk, theory AT cs.bham.ac.uk, theorynt AT listserv.nodak.edu, webmaster AT eatcs.org, zeves AT ora.on.ca, zforum AT comlab.ox.ac.uk, zforum AT prg.ox.ac.uk
Subject: [Coq-Club] FASE'08: abstracts due October 5
Date: Tue, 24 Jul 2007 15:19:39 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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 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:

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

Important Dates

5 October 2007: Submission deadline (strict) for abstracts of research and tool demonstration papers
12 October 2007: Submission deadline (strict) for full versions of 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�laga (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�rich (CH)
Dimitra GIANNAKOPOULOU, NASA Ames Research Center (US)
Holger GIESE, University of Paderborn (DE)
Martin GLINZ, University of Z�rich (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)

[Coq-Club] FASE'08: abstracts due October 5, Jos� Luiz Fiadeiro