"formal" Methods Forum Meeting: Friday, 5 May 2000

Speaker: John Gallagher

Topic: Tutorial on Temporal Logic

Attendance List:

Colin Burgess
Luping Chen
James Edwards
John Gallagher
Ian Holyer
John May
Friedger M??ffke
Nigel Smart
Gordon Hughes
Laura Lafave
Kerstin Eder
John Napier

Next Forum

The next formal Forum will take place on Friday, 26 May 2000. The speaker will be Friedger M??ffke.
The meeting afterwards will take place on Friday, 30 June 2000. The speaker will be Laura Lafave.