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
The Schedule of Events there now has links to:
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