Departmental Seminars
Seminars
Summer Term 2002
Thursdays 4pm, Room 144
Date Speaker Title
Friday, 4.00pm
5th July 		Vitaly Shmatikov
SRI International 		Formal Analysis of Security Protocols
Friday, 4.00pm
12thJuly 		Cecilia Mascolo and Luca Zanolin
Dept. Computer Science, University College London 		Model Checking Router Configurations
Thursday, 4.00pm
18thJuly 		John S Gero
University of Sydney 		Computational Models of Creative Designing Based on Situated Cognition
The seminars are on Thursday afternoons in Room 144, Computer Science Building, West Campus, and are intended for general audience. If you wish to confirm that a particular seminar is taking place please contact Sammie Snow (email S.Snow@cs.bham.ac.uk, tel. 0121 414 4774). More information about seminars in the School can be found at URL http://www.cs.bham.ac.uk/news/notice_board/. Tea and biscuits afterwards in the Coffee Room.

Last modified
Uday Reddy (uxr@cs.bham.ac.uk)
Back to School of Computer Science homepage