Declarative Systems & Software Engineering Newsletter

Issue 18 - 13th March 1995

Editor - Hugh Glaser

Editorial

I am delighted to report that Pieter Hartel, who many of you will know, has been offered a Senior Lecturship in the Department. He has indicated that he will accept, and will start here at the end of the summer.

Next Monday a visitor from the Technical University of Nova Scotia will be arriving, to stay for three weeks. As well as research in visual programming, Trevor Smedley has worked closely. with Prograph International on the Prograph system.

Don't forget the Department Colloquium on Wednesday.

Today's Seminar

The DSSE talk on Monday the 13th March. at 13:00 will be (in DSSE Lab) given by Mark Longley.

Abstract Interpretation

Copy deadline: 5pm Friday for Monday's newsletter, but send the articles any time.

Hugh Glaser
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton