Looks like an ideal opportunity for Ada missed.  --hh

>From: "H.T.G. 'Harold' Weffers" <[log in to unmask]>
>To: [log in to unmask]
>Subject: (SEWORLD) Symposium "Software Reliability: Challenge & Contradiction"
>Date: Sun, 25 Oct 1998 16:16:10 +0100
>Sender: [log in to unmask]
>Precedence: bulk
>
>
>Announcement
>===========
>November 6, 1998, the Software Technology program of the Stan
>Ackermans Institute at the Eindhoven University of Technology is
>celebrating its 10th anniversary with the symposium:
>
>        "Software Reliability: Challenge & Contradiction."
>
>Software reliability is definitely no longer only an issue for industry
>related to safety-critical software systems where an unreliable
>system may cause death or disaster. It is becoming a more and
>more important issue for mainstream industry related to high-volume
>consumer electronics applications where the effects of unreliable
>software may result in large numbers of claims and dissatisfied
>customers.
>
>Below you can find a list of invited speakers, a program, and a list
>of our industrial partners and sponsors. More information about the
>symposium and about ways to register for this symposium can be
>found at:
>
>        http://wwwooti.win.tue.nl/uk/symposium/index.html.
>
>Sincerely yours,
>
>Harold Weffers
>
>------------------------------
>ir. H.T.G. Weffers MTD
>Operational Manager SAI/Software Technology
>
>
>
>
>
>
>
>
>
>
>
>
>
>Invited Speakers
>============
>prof. dr. M. Rem                        Eindhoven University of Technology
>                                        Rector Magnificus
>                                        Eindhoven, The Netherlands
>prof. dr. J. van Lint                   Eindhoven University of Technology
>                                        Stan Ackermans Institute
>                                        Scientific Director
>                                        Eindhoven, The Netherlands
>dr. M.F.H. Schuurmans                   Philips Research Laboratories
>                                        Managing Director
>                                        Eindhoven, The Netherlands
>prof. dr. N.F. Schneidewind             US Naval Postgraduate School
>                                        Monterey, CA, United States of
>America
>T. Gilb                                 Result Planning Ltd.
>                                        Kolbotn, Norway
>Mrs. P. Thevenod-Fosse          CNRS (French National Center for
>Scientific Research),
>                                        Laboratoire d'Analyse et
>d'Architectures des Systemes
>                                        Research Director
>                                        Toulouse, France
>dr. ir. J. Hooman                       Catholic University of Nijmegen
>                                        Computing Science Institute
>                                        Nijmegen, The Netherlands
>dr. ir. C.W.A.M. van Overveld           Coaching Creative Processes /
>                                        Eindhoven University of Technology
>                                        Eindhoven, The Netherlands
>prof. dr. dipl. ing. D.K. Hammer                Eindhoven University of
>Technology
>                                        Stan Ackermans Institute
>                                        Software Technology
>                                        Managing Director
>                                        Eindhoven, The Netherlands
>
>Program
>======
>08:30           Registration
>                ----------------
>
>09:30           Opening
>                -----------
>                dr. ir. C.W.A.M. van Overveld
>                prof. M. Rem
>                prof. dr. J. van Lint
>
>09:50           Software Quality Improvement: SPI versus Product Improvement
>
>---------------------------------------------------------------------------
>---------
>                "Integration of Software Process and Product Measurement
>and Models"
>                prof. N.F. Schneidewind
>
>10:35           Break
>                --------
>
>10:45           Industrial Keynote
>                -----------------------
>                dr. M.F.H. Schuurmans
>
>11:30           Break
>                --------
>
>11:45           Software Correctness: Construction versus Testing
>
>-------------------------------------------------------------------
>                "How to Get Software Reliability through Systems Engineering:
>                Designing it in, rather than testing it in."
>                T. Gilb
>
>12:30           Lunch
>                --------
>
>14:00           Interactive Session I
>                --------------------------
>                "Crevaluation Protocol"
>                dr. ir. C.W.A.M. van Overveld
>
>                Interactive Session II
>                ---------------------------
>                "Is This Program Correct?"
>                dr. ir. J. Hooman
>
>14:45           Break
>                --------
>
>15:00           Formal Specification & Verification
>                ---------------------------------------------
>                "Application of Formal Methods"
>                dr. ir. J. Hooman
>
>15:45           Break
>                --------
>
>16:00           Test Methodology
>                -----------------------
>                "Statistical Testing Designed from Software Structural and
>Functional Models"
>                Mrs. P. Thevenod-Fosse
>
>16:45           Break
>                --------
>
>17:00           Summary
>                -------------
>                dr. ir. C.W.A.M. van Overveld
>
>17:15           Closing
>                ----------
>                prof. dr. dipl. ing. D.K. Hammer
>
>17:30-19:00     Aperitif
>                --------
>
>Industrial Partners and Sponsors
>========================
>Organizing an event like a symposium is not possible without substantial
>support from industrial partners and sponsors. The SAI/Software Technology
>program is very pleased that it found Philips TASS willing to be their main
>industrial partner for this symposium.
>
>We are also very pleased that the following companies have been willing
>to sponsor our event: Panfox, Oce, Alert Automation Services, ASML, Philips
>Digital Video Systems, KPN Research, CMG, and High Tech Automation.
>
>During the symposium, these companies will present themselves and their
>software (reliability) activities at a number of information stands near the
>lecture hall in which the symposim will be held.
>
>
>===========================================================================
>To contribute to seworld, send your message to [log in to unmask]
>
>http://www.cs.colorado.edu/serl/seworld provides more information on
>seworld as well as a complete archive of the messages sent to seworld.
>
>Requests to be added to or removed from seworld should go to
>[log in to unmask]
>
>  to subscribe send (in the body of the message)
>     subscribe seworld <desired e-mail address>
>
>  to unsubscribe send (in the body of the message)
>     unsubscribe seworld <registered e-mail address>
>===========================================================================
>