[Prev][Next][Index][Thread]
reminder -- FMOODS 2000 Submission Deadline March 15
-
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, concurrency@cwi.nl, coq-club@pauillac.inria.fr, 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, fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu, fsdm@it.uq.edu.au, hise-safety-critical@minster.cs.york.ac.uk, i3s@i3s.unice.fr, ifmsig@cs.tcd.ie, info-hol@leopard.cs.byu.edu, isabelle-users@cl.cam.ac.uk, lambda-usergroup@dcs.ed.ac.uk, larc-swe@larc.nasa.gov, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, logic@theory.lcs.mit.edu, logic-ml@logic.jaist.ac.jp, lotos-world@sanson.dit.upm.es, nqthm-users@cli.com, nuprllist@cs.cornell.edu, om-announce@lars.math.FSU.EDU, papm@dcs.ed.ac.uk, PetriNets@daimi.aau.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@mailbase.ac.uk, zeves@ora.on.ca, zforum@prg.ox.ac.uk
-
Subject: reminder -- FMOODS 2000 Submission Deadline March 15
-
From: Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
-
Date: Fri, 10 Mar 2000 21:29:15 -0800 (PST)
Call for Papers
FMOODS 2000
IFIP TC6/WG6.1 Fourth International Conference on
Formal Methods for Open Object-Based Distributed Systems
Stanford University , Stanford, California, USA
September 6-8, 2000
------------------------------------------------------------------------
Important Dates
*** 15th March 2000 Submission deadline
30th April 2000Notification of acceptance
23rd May 2000 Camera ready copy for participants proceedings due
------------------------------------------------------------------------
Electronic Information
* The conference home page is found at http://www.ics.uci.edu/~fmoods2000
The full CFP can be found here.
* Conference-related email should be addressed to
fmoods2000@cs.stanford.edu
* Submission information can be found at
http://www-formal.stanford.edu/fmoods/FmoodsSys/subm/index.html
------------------------------------------------------------------------
Electronic Submission
Electronic submission of papers is solicited. Instructions can be found at
http://www-formal.stanford.edu/fmoods/FmoodsSys/subm/index.html
or can be obtained by sending email with subject
submission information
to the address fmoods-subm@steam.stanford.edu.
An ascii version of the form and instructions can also be
found directly at the url above.
There are two means for submission -- using the web form found at the
above url, or by emailing the form with the ps file following
the FILE: field marker. (Don't forget the EndOfForm marker!)
Please pay careful attention to filling out the short submission form
as the parser expecting a fairly rigid format.
NOTE that the web-form is only designed to work with Netscape. And
the parser will be confused and reject your submission if you use
a mailer the wraps the ps file with attachment info and/or encodes it.
If you fail to meet the parsers requirements, please send the
CAREFULLY filled out submission form with the ps file attached somehow
to fmoods@steam.stanford.edu and someone will help.
------------------------------------------------------------------------
Instructions to the Authors
Authors are invited to submit full original research papers, up to 16 pages
(including bibliography), 12 point, single spaced, including an informative
abstract, names and affiliations of all authors, and a list of keywords
facilitating the assignment of papers to referees.
------------------------------------------------------------------------