AMAST Mail 2000

Final call for papers: Formal methods for Industial Critical Systems

Subject: Final call for papers: Formal methods for Industial Critical Systems
From: "A. Rennoch" <rennoch@fokus.gmd.de>
Date: Mon, 10 Jan 2000 15:33:10 +0100
Newsgroups: comp.specification.misc,comp.theory,comp.specification.larch,comp.specification.z,comp.software-eng
Organization: GMD-FOKUS
Sender: rennoch@fokus.gmd.de

Dear colleagues,

please be aware that the deadline for paper submissions for

5th Workshop on Formal Methods for Industrial Critical Systems
==============================================================

will be at January, 14th, i.e. the end of this week.

The Workshop is organized by the European Research Consortium 
for Informatics and Mathematics (ERCIM) and hosted by GMD Fokus 
in Berlin, Germany, April 3-4, 2000, directly after the last day 
of the ETAPS 2000 conference which is also organized in Berlin.

Please indicate your interest of submitting a contribution via the 
workshop home page (expression of interest):

    http://www.fokus.gmd.de/tip/fmics

and send your paper by email to fmics@fokus.gmd.de (PDF or PS
format). Further, you can register for the workshop using the
registration form which we've added to the Workshop website.

We are looking for your paper submissions. 
Best regards

Ina Schieferdecker and Axel Rennoch

Warning: Could not process part with given Content-Type: text/x-vcard; charset=iso-8859-15; name="rennoch.vcf"

[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]