CfP Reminder: Formal Methods for Industrial Critical Systems

• Subject: CfP Reminder: Formal Methods for Industrial Critical Systems
• From: "A. Rennoch" <rennoch@fokus.gmd.de>
• Date: Wed, 15 Dec 1999 16:03:11 +0100
• Newsgroups: comp.theory,comp.specification.larch,comp.specification.z,comp.specification.misc,gmd.announce,comp.software-eng
• Organization: GMD-FOKUS
• Sender: rennoch@fokus.gmd.de

Dear colleagues,

time proceed and in about one month there is the deadline 
for paper submissions for the 

5th Workshop on Formal Methods for Industrial Critical Systems (FMICS)
======================================================================

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.

We like to remind you to this deadline since the time schedule is 
hard due to the review procedure and workshop dates. 
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). 

We wish you a Merry Christmas and a happy New Year's Eve and we are 
looking for your paper submissions by January, 14th 2000.

Ina Schieferdecker and Axel Rennoch

Warning

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

• Prev: [CFP:]<<UML>>2000
• Next: PADL'00: Extended Registration Deadline
• Index: AMAST Mail - December 1999