[TYPES] Re: SOS 2005: Programme

iu3 at mcs.le.ac.uk iu3 at mcs.le.ac.uk
Wed Jun 22 16:06:45 EDT 2005


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



More information about the Types-list mailing list