[Safety-related]: CFP: Tool Support for System Specification, Development and Verification



Date view Thread view Subject view Author view

Jonathan Moffett (jdm(at)cs.york.ac.uk)
Fri, 24 Apr 1998 11:15:48 +0100


I am forwarding this to the list as it was filtered out because it did not contain "safety" in the subject line. Jonathan Moffett Safety-critical mailing list moderator >Date: Fri, 24 Apr 1998 11:36:39 +0200 >From: Tool Support 1998 <tools98(at)informatik.uni-kiel.de> >To: Habrias(at)iut-nantes.univ-nantes.fr, Hakan.Millroth(at)csd.uu.se, > hansh(at)docs.uu.se, harel(at)wisdom.weizmann.ac.il, hbw(at)theory.lcs.mit.edu, > hccdr(at)ukc.ac.uk, heitmeyer(at)itd.nrl.navy.mil, > Henning.Dierks(at)informatik.uni-oldenburg.de, henrik(at)cs.washington.edu, > Herve.Martin(at)imag.fr, hiraishi(at)kuis.kyoto-u.ac.jp, > hise-safety-critical(at)minster.cs.york.ac.uk, hk(at)vmars.tuwien.ac.at, > hoercher(at)vst.vossloh.de >Subject: CFP: Tool Support for System Specification, Development and Verification >Sender: hise-safety-critical-request(at)cs.york.ac.uk >Reply-To: hise-safety-critical(at)cs.york.ac.uk > >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(at)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(at)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 [ ] > > >


Date view Thread view Subject view Author view