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>
>===========================================================================
>
|
