FME'93 Call For Posters

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Peter Gorm Larsen Thu, 21 Jan 1993 14:38

#486

Author: Peter Gorm Larsen
Date: Thu, 21 Jan 1993 14:38

26 lines
1818 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads