[M3] ================================================ AMAST Links 02 03

               TAPSOFT'95: Reminder and More Information

   *Update* of information in [AL0202M2]

  *Reminder:*
   *Deadline* for *receipt* of registrations at reduced rate is
   *15 March*.

  The final TAPSOFT '95 programme (currently in preparation) includes
the following extra event, not previously announced:

  *Invited Lecture:*

   Vaughan Pratt (Stanford Univ.): _Anatomy of the Pentium Bug_

  Vaughan Pratt has been closely involved with analysing the
significance of a recently-revealed bug in the Intel Pentium computer
chip.  His topical paper on the Anatomy of the Pentium Bug presents
general background and new results.
  This extra invited lecture has been squeezed into the programme on
the Thursday afternoon, immediately preceding the discussion session.
The presentation is to include an online demonstration of the bug.
  The hypertext version of the *Preliminary Programme* has already been
updated to reflect this addition; it can be accessed via the WWW URL:
http://www.brics.aau.dk/tapsoft/ 
  The Schedule of Events there now has links to:
 o  *Abstracts* of all TAPSOFT '95 papers
 o  *Proposals* concerning the future of European Spring conferences on
    Software Science (discussion session, Thursday afternoon).
  For further information about TAPSOFT '95, please see the WWW pages
or contact the Secretariat:
   TAPSOFT '95
   BRICS, Dept. of Computer Science, University of Aarhus
   Ny Munkegade, Bldg. 540, DK-8000 Aarhus C, Denmark    
   E-mail: tapsoft@brics.aau.dk, Fax: +45 8942 3255
   WWW URL: http://www.brics.aau.dk/tapsoft/