CALL FOR PARTICIPATION:
Structural Operational Semantics 2005
A Satellite Workshop of ICALP 2005
July 10, 2005, Lisbon, Portugal
http://www.cs.le.ac.uk/events/SOS2005
PROGRAMME:
http://www.cs.le.ac.uk/events/SOS2005/Programme.html
INVITED SPEAKERS:
Jan Friso Groote
Jose Meseguer
CONTACT:
sos2005 AT mcs.le.ac.uk
WORKSHOP ORGANISERS:
Peter D. Mosses
Department of Computer Science
University of Wales Swansea
Irek Ulidowski
Department of Computer Science
University of Leicester
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
