Declarative Systems & Software Engineering
Newsletter
Editor - Stuart Maclean
Contents:
- Editorial
- Today's Seminar
Visitor
Hugh has introduced many of you to Péter Mork
already. He is a visitor from Miskolc, Hungary, and is here from
1st May for three months. You can best get information about him from his
web page (which can also be reached from the DSSE page via the visitors
entry.)
The DSSE talk for Monday 15th May is 'Automated Hypothetical
Reasoning' by Paul Soper. The talk is at 1.00pm in the DSSE lab (MB
3057). All welcome.
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