[Prev][Next][Index][Thread]
FMOODS 2002 -- deadline extension: 19 sept
-
To: acl2@cs.utexas.edu, agents@cs.umbc.edu, amast@cs.utwente.nl, asci@twi.tudelft.nl, bra-types@cs.chalmers.se, categories@mta.ca, ccl@dfki.uni-sb.de, clp@iscs.nus.edu.sg, cofi-reactive@brics.dk, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dataloger@cs.chalmers.se, eacsl@dimi.uniud.it, eatcs-it@cs.unibo.it, ecoop-info@ecoop.org, facs@lboro.ac.uk, eapls@jiscmail.ac.uk, behavior@cs.ucsd.edu, formal-methods@cs.uidaho.edu, fsdm@it.uq.edu.au, hise-safety-critical@minster.cs.york.ac.uk, ifmsig@cs.tcd.ie, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, jml@cs.iastate.edu, lambda-usergroup@dcs.ed.ac.uk, lfcs-interest@dcs.ed.ac.uk, softverf@nist.gov, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-ml@logic.jaist.ac.jp, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lotos-world@sanson.dit.upm.es, nqthm-users@cli.com, nuprllist@cs.cornell.edu, nvti-list@cwi.nl, om-announce@lars.math.fsu.edu, papm@dcs.ed.ac.uk, PetriNets@daimi.aau.dk, prog-lang@daimi.aau.dk, prog-lang@diku.dk, pvs@csl.sri.com, qed@mcs.anl.gov, reliable_computing@interval.usl.edu, rewriting@ens-lyon.fr, seworld@cs.colorado.edu, stochver@cs.bham.ac.uk, system-safety@listserv.gsfc.nasa.gov, theorem-provers@ai.mit.edu, theory-a@vm1.nodak.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, vdm-forum@jiscmail.ac.uk, zeves@ora.on.ca, zforum@prg.ox.ac.uk, puml-list@cs.york.ac.uk
-
Subject: FMOODS 2002 -- deadline extension: 19 sept
-
From: Arend Rensink <rensink@cs.utwente.nl>
-
Date: Wed, 05 Sep 2001 10:35:22 +0200
-
Organization: University of Twente
-
References: <200108211537.f7LFb7W02947@pandora.cs.kun.nl>
[[ After a number of requests and some re-calculation, we've ]]
[[ managed to stretch the deadline for this conference. ]]
[[ -- Apologies for multiple copies of this message -- ]]
Extended deadline: 19 September
Fifth IFIP International Conference
on
Formal Methods for Open Object-based Distributed Systems
FMOODS'2002
20-22 March 2002, University of Twente, the Netherlands
* Conference site: http://fmoods.org
* Plain text call for papers: http://trese.cs.utwente.nl/fmoods2002/cfp.txt
* Electronic submission: http://fmoods.cyberchair.org
* Information: mailto:info@fmoods.org, mailto:chair@fmoods.org