AMAST Mail 1998
[Prev][Next][Index]

CFP: Tool Support for System Specification, Development and Verification

Apologies for multiple reception of this message. This
was sent to multiple mailing lists with overlapping subscribers, so there
is no way to prevent that.
===========================================================
                        Call for Participation

                        International Workshop
                Tool Support for System Specification,
                     Development and Verification
                         June 2 - 4, 1998
                         Malente, Germany
There is a growing awareness that tool support is needed in order to
correctly develop industry-size software/hardware systems. The aim of this
workshop is to provide a forum for researchers interested in the use and
development  of tools which support the use of mathematical techniques for
the specification, development and verification of systems. This workshop
will be the third in a series of events devoted to this topic. The first
two workshops were held in 1994 in Kiel and 1996 in Bremen, Germany. The
workshop will take place at Malente, Germany. Registration will be on
Monday June 2 starting around 6 p.m. The program will commence on Tuesday
June 3 and run until Thursday June 4 late afternoon.
* The workshop program can be downloaded from the following URL:
       http://www.informatik.uni-kiel.de/~yl/tools98.html
* Registration:
  A registration form is enclosed below. Please fill this form and
  return it to the organizers by sending an email to
       tools98@informatik.uni-kiel.de
  with subject
       Registration
  NOT LATER THAN APRIL 30th, 1998.
* Workshop fee (Monday, 1st June to Thursday, 4th June, 1998):
  - DM 440,- (double room)
  - DM 530,- (single room)
* This fee includes:
  - Preliminary proceedings
  - Lodging for 3 nights
  - Dinner on Monday, breakfast, lunch and dinner on Tuesday and
    Wednesday and breakfast and lunch on Thursday.
  - Coffee and tea at official breaks
* Not included in the fee are:
  - drinks at meals (ex. breakfast)
  - minibar
  - telephone fees
* Prolongation for a night:
  As the workshop will now end at Thursday late afternoon it is
  possible to prolonge the stay for one night. Please inform us
  accordingly. The price for this additional night is
  - DM 70,- (double room)
  - DM 100,- (single room).
* Payment:
  Should be made by transferring the amount to:
       Sparkasse Kiel (BLZ/Bank Code:  210 501 70)
       Account-No. 17 169 186
       Usage: Your Name
  ---------------------------------------------------------------
  | Please note that all extra fees (e. g. for bank remittance) |
  |           are to your own account!                          |
  ---------------------------------------------------------------
* For further information (such as venue of the workshop, how to get
  there, maps, train schedule, etc..) see URL

       http://www.informatik.uni-kiel.de/~yl/tools98.html



===========================================================================
====
Application form: please fill and send to
       tools98@informatik.uni-kiel.de
with subject
       Registration
not later than April 30th, 1998.

Name:
Pre-name:
Affiliation:
Email:
Phone:
Fax:
Accommodation:
       Single Room [ ]           Double Room* [ ]

* Please add the name of the person with whom you want to share the
  room. Notice that every participant should send his/her own
  application form.
Prolongation for one night

       Yes [ ]                   No [ ]
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]