From: "José Luiz Fiadeiro" <jose@fiadeiro.org>
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 <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@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
Subject: FASE'08: abstracts due October 5
Date: Tue, 24 Jul 2007 15:19:39 +0100 [thread overview]
Message-ID: <52485A5C-4E87-4F03-AAF2-562C7A876817@fiadeiro.org> (raw)
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)
next reply other threads:[~2007-07-24 14:22 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-07-24 14:19 José Luiz Fiadeiro [this message]
2008-01-21 15:19 ` CORCS 2008: Call for Papers Alexandre David
2008-02-29 10:05 ` CORCS 2008: 2nd Call for Papers (extended deadline!) Cristina Seceleanu
2008-03-06 11:11 ` CORCS 2008: Call for Papers - extended deadline Alexandre David
2009-03-02 15:42 ` CORCS'09 - Call for papers Alexandre David
2009-03-11 11:04 ` CORCS'09 - Call for papers - Extended submission Alexandre David
2011-02-02 15:55 ` [Caml-list] CORCS'11 - Call for papers Alexandre David
2011-02-28 10:36 ` [Caml-list] EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011) Alexandre David
2012-02-14 15:31 ` [Caml-list] Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems Alexandre David
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=52485A5C-4E87-4F03-AAF2-562C7A876817@fiadeiro.org \
--to=jose@fiadeiro.org \
--cc=acl2@cs.utexas.edu \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=apes@cs.strath.ac.uk \
--cc=appsem-discussion@harlequin.co.uk \
--cc=appsem-ed-site@dcs.ed.ac.uk \
--cc=appsem-local@di.uminho.pt \
--cc=appsem@disi.unige.it \
--cc=appsem@pauillac.inria.fr \
--cc=behavior@cs.ucsd.edu \
--cc=cafeobj@sran419.sra.co.jp \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccl@dfki.uni-sb.de \
--cc=clean-list@cs.kun.nl \
--cc=clp@iscs.nus.edu.sg \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=comlab@comlab.ox.ac.uk \
--cc=coq-club@pauillac.inria.fr \
--cc=cs-logic@cs.indiana.edu \
--cc=csl@dbai.tuwien.ac.at \
--cc=csp@carlit.toulouse.inra.fr \
--cc=dataloger@cs.chalmers.se \
--cc=dbworld@cs.wisc.edu \
--cc=dreamers@dai.ed.ac.uk \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it-l@unifi.it \
--cc=elan-users@loria.fr \
--cc=elf-list@cs.cmu.edu \
--cc=etalle@cs.utwente.nl \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=forte2003@Informatik.TU-Cottbus.DE \
--cc=generative@rz.tu-ilmenau.de \
--cc=generic-haskell@cs.uu.nl \
--cc=gulp@di.unipi.it \
--cc=harning@sigchi.dk \
--cc=haskell@haskell.org \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=idss@socs.uts.EDU.AU \
--cc=ifip@ifip.or.at \
--cc=ifmsig@cs.tcd.ie \
--cc=imps@linus.mitre.org \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isda02@softcomputing.net \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lics-request@dcs.ed.ac.uk \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=linear@cs.stanford.edu \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=lotos-world@site.uottawa.ca \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lprolog-list@cis.upenn.edu \
--cc=lprolog@cis.upenn.edu \
--cc=m4m@science.uva.nl \
--cc=maude@csl.sri.com \
--cc=mercury-ads@cs.mu.oz.au \
--cc=multi@cs.chalmers.se \
--cc=nuprllist@CS.Cornell.EDU \
--cc=nuprlnotes@www.cs.cornell.edu \
--cc=om-announce@lars.math.fsu.edu \
--cc=oose@uni-paderborn.de \
--cc=pop-group@cs.cmu.edu \
--cc=post+comp.compilers@andrew.cmu.edu \
--cc=post+comp.lang.functional@andrew.cmu.edu \
--cc=post+comp.lang.ml@andrew.cmu.edu \
--cc=post+comp.lang.scheme@andrew.cmu.edu \
--cc=prog-lang@brics.dk \
--cc=prog-lang@daimi.aau.dk \
--cc=prog-lang@diku.dk \
--cc=proglog@cs.chalmers.se \
--cc=prolog-vendors@sics.se \
--cc=prologia@prologianet.univ-mrs.fr \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=reus@informatik.uni-muenchen.de \
--cc=rewriting@ens-lyon.fr \
--cc=scheme48@martigny.ai.mit.edu \
--cc=scheme@mc.lcs.mit.edu \
--cc=seworld@cs.colorado.edu \
--cc=sicstus-users@sics.se \
--cc=sig-coord@flp.cs.tu-berlin.de \
--cc=smid-medl@imv.au.dk \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=stochver@cs.bham.ac.uk \
--cc=streicher@mathematik.tu-darmstadt.de \
--cc=theorem-provers@ai.mit.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=webmaster@eatcs.org \
--cc=zeves@ora.on.ca \
--cc=zforum@comlab.ox.ac.uk \
--cc=zforum@prg.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox