ETAPS >> FMICS programme

• Subject: ETAPS >> FMICS programme
• From: "A. Rennoch" <rennoch@fokus.gmd.de>
• Date: Thu, 17 Feb 2000 10:03:03 +0100
• Organization: GMD-FOKUS
• Sender: rennoch@fokus.gmd.de

Dear colleagues,

the ETAPS conference in March will be followed directly  
by the 5th FMICS workshop which also takes place in Berlin.

The International Workshop on Formal Methods for 
Industrial Critical Systems (FMICS), is organized by the 
European Research Consortium for Informatics and Mathematics
(ERCIM) on April 3 - 4, 2000.

We are pleased to announce the preliminary programme of FMICS. 
You will find it via the workshop homepage

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

The workshop will offer discussion rounds on the applicability 
and usage of formal methods in the industrial context.

If you are interested in attending the workshop please 
do not forget to register in advance.

Thank you very much
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"

• Prev: FST TCS 2000 --- cfpo ascii version --
• Next: International Masters Programme in COMPUTATIONAL LOGIC
• Index: AMAST Mail 2000