🚀 go-pugleaf

Formal Methods Europe '93 --- Call For Posters

We have decided to have a poster session at the FME'93 Symposium.
Thus, if you are planning to attend FME'93 please let me know if
you are interested in having some posters displayed.
Please indicate how many units of A3 size you would like
and explain what will be on the posters. It will be free to display
posters, but unfortunately it will not be possible to give presentations
about their contents. On the other hand there will be a notice board 
where attendees which are interested in a particular poster can inform
about his interest such that a face-to-face discussion can be obtained.

The posters can contain anything related to formal methods. Thus,
tools currently under development, teaching material, new books
or journals, projects which have used or are using formal methods,
even advertisments for formal methods courses are acceptable.
The posters are welcome to be supported by copies of a report or
similar. The posters do not need to be sent here, but can be handed
over at the registration desk at arrival. So far we have reservations
for the first 12 A3 size units.

Peter Gorm Larsen
Organizing chairman FME'93
The Institute of Applied Computer Science (IFAD)
Forskerparken 10, DK-5230 Odense M, Denmark
Phone: +45-65932300, Fax: +45-65932999, Email: peter@ifad.dk