home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / 625 next >
Encoding:
Text File  |  1993-01-21  |  1.7 KB  |  38 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!mcsun!sunic!dkuug!imada!pgl
  3. From: pgl@imada.ou.dk (Peter Gorm Larsen)
  4. Subject: FME'93 Call For Posters
  5. Message-ID: <1993Jan21.143801.23485@imada.ou.dk>
  6. Keywords: formal methods, vdm, z, raise, lotos, estelle, specifications
  7. Sender: news@imada.ou.dk (USENET News System)
  8. Organization: Dept. of Math. & Computer Science, Odense University, Denmark
  9. Date: Thu, 21 Jan 1993 14:38:01 GMT
  10. Lines: 26
  11.  
  12. Formal Methods Europe '93 --- Call For Posters
  13.  
  14. We have decided to have a poster session at the FME'93 Symposium.
  15. Thus, if you are planning to attend FME'93 please let me know if
  16. you are interested in having some posters displayed.
  17. Please indicate how many units of A3 size you would like
  18. and explain what will be on the posters. It will be free to display
  19. posters, but unfortunately it will not be possible to give presentations
  20. about their contents. On the other hand there will be a notice board 
  21. where attendees which are interested in a particular poster can inform
  22. about his interest such that a face-to-face discussion can be obtained.
  23.  
  24. The posters can contain anything related to formal methods. Thus,
  25. tools currently under development, teaching material, new books
  26. or journals, projects which have used or are using formal methods,
  27. even advertisments for formal methods courses are acceptable.
  28. The posters are welcome to be supported by copies of a report or
  29. similar. The posters do not need to be sent here, but can be handed
  30. over at the registration desk at arrival. So far we have reservations
  31. for the first 12 A3 size units.
  32.  
  33. Peter Gorm Larsen
  34. Organizing chairman FME'93
  35. The Institute of Applied Computer Science (IFAD)
  36. Forskerparken 10, DK-5230 Odense M, Denmark
  37. Phone: +45-65932300, Fax: +45-65932999, Email: peter@ifad.dk
  38.