caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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)


             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;
as well as URLs for NNTP newsgroup(s).