will give a talk entitled
"Temporal Logic for Verification of Reactive Systems: Achievements and Challenges"
at 17:15 on Wednesday 22nd April 1998 in Lecture Theatre A, James Clerk Maxwell Building, King's Buildings, Edinburgh
Admission free
Short abstract can be found here. For a longer version please refer to this document.