TCS-SOUP Course At University Of Essex, 20/21 May 2004

This course is part of the TCS-SOUP - Theoretical Computer Science for SOuth-eastern Universities PhD students .

Timetable

Day	Time	Event
Thur 20 May	2-5 pm	Ray Turner: Logical Foundations sf Specification Formalisms
Fri 21 May	10-11am	Tom Mens: Lightweight Formal Tool Support for Software Evolution
	11-12am	Amnon Eden: Abstraction Strata in Software Design
	1-3pm	Martin Henson: Schemas and Refinement (Slides 1, Slides 2, LFSL'04 material)

All events will take place in the Computer Science Seminar Room (4B.531)

Organisation: Norbert Völker and Moshe Deutsch

© Copyright 2004 University of Essex. All rights reserved.
This page was last modified by Norbert Völker on 8 October 2004
University of Essex, Department of Computer Science