home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / software / 3422 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  4.1 KB
  1. Path: sparky!uunet!mcsun!sun4nl!dutrun!dutiws!dutiag!nico
  2. From: nico@dutiag.tudelft.nl (Nico Plat)
  3. Newsgroups: comp.software-eng
  4. Subject: Reminder: CFP deadline for FME'93 is approaching
  5. Message-ID: <nico.716218810@dutiag>
  6. Date: 11 Sep 92 13:40:10 GMT
  7. Sender: news@dutiws.tudelft.nl
  8. Lines: 96
  9.  
  10. Attention! CFP deadline for FME'93 is approaching!
  11.  
  12. <<< CALL FOR PAPERS >>><<< CALL FOR PAPERS >>><<< CALL FOR PAPERS >>>
  13.  
  14.                          FME '93 SYMPOSIUM
  15.                 "INDUSTRIAL STRENGTH FORMAL METHODS"
  16.  
  17.                  Sponsored by the Commission of the
  18.                      European Communities (CEC)
  19.                  Organised by Formal Methods Europe
  20.  
  21. The first FME Symposium will be held at Odense Technical College in
  22. Denmark, during the week of 19 to 23 April, 1993. It is being
  23. organised by Formal Methods Europe, as the successor to the last four
  24. VDM symposia, to promote the interests of users, researchers and
  25. developers of precise mathematical methods in program development.
  26.  
  27. The last few years have borne witness to the remarkable diversity of
  28. formal methods, with applications to sequential and concurrent
  29. software, to real-time and reactive systems, and to hardware design.
  30. In that time, many theoretical problems have been tackled and solved,
  31. and many continue to be worked upon.  Yet it is by the suitability of
  32. their industrial application and the extent of their usage that formal
  33. methods will ultimately be judged.  This symposium will focus on the
  34. application of industrial-strength formal methods.  We encourage all
  35. papers to address the difficulties of scaling their techniques up to
  36. industrial-sized problems, and of their suitability in the work-place.
  37. Papers should discuss techniques that are formal (that is, they have a
  38. mathematical basis), and that are industrially applicable.  Papers
  39. tackling theoretical issues are much encouraged, providing that they
  40. contain a justification of the practical advantages that follow.
  41.  
  42. Full-length research papers, industrial reports, proposals for
  43. tutorials and tool demonstrations are solicited, particularly 
  44. in the following areas:
  45.  
  46.  * Practical use                  * Case studies
  47.  * Tools                          * Linking formal and informal methods 
  48.  * Comparisons of formal methods  * Proof 
  49.  * Concurrency                    * Real-time and reactive systems 
  50.  * Refinement techniques          * Object orientation 
  51.  * Secure systems                 * Safety-critical systems 
  52.  * The development process        * Education and technology transfer 
  53.  
  54. 1 October 1992
  55. ==============
  56.  
  57.   Submissions:
  58.     - Full, original research papers
  59.       (6 copies, 12pt, single spaced, maximum 20pp)
  60.  
  61.     - Industrial usage reports
  62.       (6 copies, 12pt, single spaced, maximum 10pp)
  63.  
  64.     - Proposals for tutorials
  65.       (half day, maximum 50pp of notes for participants)
  66.  
  67.     - Proposals for tool demonstrations
  68.       (with hardware and software requirements)
  69.  
  70.    Proposals for tools demonstrations should be sent to the
  71.    organising chairman, while all other proposals should be sent
  72.    to the programme chairman. Industrial usage reports do not
  73.    need to conform to usual standards for academic papers.
  74.  
  75. 1 December 1992
  76. ===============
  77.  
  78.   Notification of acceptance
  79.  
  80. 1 February 1993
  81. ===============
  82.  
  83.   Camera-ready copy due for publishers
  84.  
  85.  
  86.  
  87.      Programme Chairman                Organising Chairman
  88.  
  89.      Jim C.P. Woodcock,                Peter Gorm Larsen,
  90.      Oxford University                 The Institute of Applied
  91.      Computing Laboratory,             Computer Science (IFAD),
  92.      Programming Research Group        Forskerparken 10,
  93.      11 Keble Road,                    DK-5230 Odense M
  94.      Oxford  OX1 3QD, UK               Denmark
  95.      tel: +44 865 272576               tel: +45 65 93 23 00
  96.      fax: +44 865 273839               fax: +45 65 93 29 99
  97.      email: jimw@prg.ox.ac.uk          email: peter@ifad.dk
  98.  
  99.  
  100.                  Executive Programme Committee        
  101.  
  102.    J.-R. Abrial (F)     Tim Denvir (GB)    Eugene Durr (NL)
  103.    Ian Hayes (AUS)      Steve King (GB)    Hans Langmaack (D)
  104.    Micheal Mac an Airchinnigh (IRL)        Kees Middelburg (NL)
  105.    Soren Prehn (DK)     Hans Toetenel (NL)
  106.