======================================================
| FM'99 WORLD CONGRESS: |
======================================================
FM99 Mini-track on Security, Toulouse, France, September 20-24 , 1999
(Submission due February 14, 1999)
The FM99 Mini-track on Security
is concerned with the role of formal methods in the development of
secure systems. The FM99 security mini-track will be a unique
oportunity for people interested in computer security to exchange
their views with researchers and members of the industrial community
developing new formal methods or applying them to other critical
system properties. The security mini-track is seaking both technical
papers and industrial experience reports dealing with the application
and development of formal methods for secure systems.
All papers submitted in response to this specific mini-track
Call for Paper should be sent to and reach Dr James Woodcock by
14 February 1999 (notification of acceptance is 14 May 1999). The
cover sheet must include the SECURITY key-word. Please refer to the
general technical
symposium Call for Paper for applicable paper evaluation criteria
and submission rules.
Mini-track contacts: P Bieber,
P Y A Ryan
+----------------------------------------------------+
| |
| Prof., Dr. Dines Bjorner |
| Department of Information Technology |
| Bldg.344, Technical University of Denmark |
| DK--2800 Lyngby, Denmark |
| |
| Phone: +45-45.25.37.20 |
| Fax: +45-45.88.45.30 |
| E-Mail: db@it.dtu.dk |
| |
| Secretariat: Ms Eva Bing, ebi@it.dtu.dk |
| +45-45.25.75.09 |
| IT/DTU Info: +45-45.93.33.32 |
| |
+----------------------------------------------------+
| |
| Kari S. + Dines Bjorner |
| Fredsvej 11 |
| DK--2840 Holte |
| Denmark ++---> Denmark Prefix |
| VV |
| Phone: +45-45-42.21.41 |
+----------------------------------------------------+
More on FM'99:
ACM, AMAST, ASM, EATCS, ETAPS, EU, FME, IFIP, IEEE CS, IPSJ, JSSST ---
AEROSPATIALE, AIRBUS, AIR FRANCE, ALCATEL, CNET, CNRS, CNES, DGA,
DGAC, ESA, INRIA, MATRA, MENRT, ONERA --- Conseil General de la Haute
Garonne, Conseil Regional Midi Pyrenees and Mairie de Toulouse
are co-sponsoring and FME is organising:
FM'99: World Congress on Formal Methods
(in the development of computing systems)
20-24 Sept. 1999, Intl.Congress Ctr., Toulouse, France
You may wish to inspect:
http://www.cert.fr/fm99/
Pls. "click" your way from there to much information!