C A L L F O R P A R T I C I P A T I O N A N D C O N T R I B U T I O N SECOND SOS WORKSHOP Specification of systems - formal methods in industrial applications SICS/KTH, Stockholm, Sweden SEPTEMBER 24-25, 1995 We hereby invite you to the second SOS workshop. This invitation is primarily extended to the members of the SOS mailing list, but we also encourage you to invite additional persons, most importantly your contacts within industry. Feel free to do this by forwarding this message yourself, or by sending us the address of those you think should be invited. The workshop has been scheduled to Sunday and Monday in order to make it easy for participants to travel on APEX tickets. SCOPE OF THE WORKSHOP Specification and design of distributed computer systems is a complex and error-prone task. A large effort has been invested in developing theory to support such design activities; examples are the theory of process-algebraic specification and the field of property-oriented logic specification. Unfortunately a gap has appeared between the problems arising in system development in practice and the problems addressed by the theory. In an attempt to bridge this gap, the first SOS workshop was organized at the University of Hildesheim in March 1994, to bring together theoreticians looking for application experiences, and practitioners involved in real-life system developments. The idea was not so much to actually define industrial-size projects, but rather to define lines of research that seem promising for future application, to single out case studies of manageable size for theoreticians, and to study issues of expressivity. The abstracts of the presentations was published as a technical report of the University of Hildesheim [technical report 24/94]. The second SOS workshop is intended as a forum for system developers from industry working in the area of system design, specification, testing and validation, and researchers from academia active in the area of formal methods. The objectives of the workshop are: (1) to investigate the usage of rigorous/formal methods in real industrial applications; (2) to inform system developers working in industry about formal methods developed in academia and their potentials in industrial usage; (3) to inform the researchers from academia about current usage of development methods in industrial applications and the future needs and demands for rigorous and formal methods in industry. The information transfer is envisaged to take form as presentations from both industrial participants and academic researchers. An industrial presentation could cover topics in (but are by no means restricted to): - Technical problems encountered during design of systems, e.g., in - specification - testing - validation - analysis - debugging - Needs of new development methods, such as - structural methods - formal methods - rigorous methods - well defined/mathematical methods - Experiences from usages of rigorous/formal methods The presentations from academia could be of case studies providing: - Experiences gained from applying formal methods to realistic examples. - A survey of applications of formal methods. - Demonstrations of newly developed methods and tools. The workshop is intended to last two full days. Half- to one-page abstracts of the presentations will be collected and published in a technical report from the Swedish Institute of Computer Science. Organizers: Fredrik Orava, SICS Joachim Parrow, KTH CONTRIBUTIONS Proposals for workshop presentations are called for and should be sent as soon as possible to Fredrik Orava (fredrik@sics.se). REGISTRATION AND ACCOMMODATION Please fill out and send the registration/accomodation form below to Fredrik Orava (fredrik@sics.se) as soon as possible, but no later than September 1. A number of rooms have been reserved at Memory Hotel near SICS/KTH in Kista, north of Stockholm. The price is SEK 680,- (SEK 780,-) for a single (double) room the night between Saturday and Sunday, and SEK 918,- (SEK 1062,-) for the night between Sunday and Monday. The workshop is intended to be low-budget. There will be no workshop fee and the costs for conference facilities will be split among the participants. However, this implies that we unfortunately cannot fund any of the participants' expenses. CONTACT ADDRESS Fredrik Orava, SICS, P.O. Box 1263, S-164 28 Kista, SWEDEN Telephone: +46 8 752 1528 email: fredrik@sics.se Telefax: +46 8 751 7230 If you wish to take the opportunity to visit SICS/KTH for a couple of days before or after the meeting, please let us know and we will make necessary arrangements. See you all in Sweden! Fredrik and Joachim ---cut------------------------------------------------------------------------ R E G I S T R A T I O N / A C C O M O D A T I O N F O R M Name: ________________________________________ Organization: ________________________________ Address: ________________________________ ________________________________ ________________________________ ________________________________ ________________________________ Phone: ________________________________________ E-mail: ________________________________________ Please reserve hotel room for me according to the following: Single Double _ _ Memory Hotel, Kista (_) (_) Date of arrival: ____ Date of departure: ______ I would like to present a talk during the workshop: YES/NO (Delete as applicable) Title of talk: ______________________________________________ Please return this form as soon as possible, but no later than September 8, to: Fredrik Orava (fredrik@sics.se) SICS P.O. Box 1263 S-164 28 KISTA SWEDEN fax: +46 8 751 7230