Structural Operational Semantics Workshop


EPSRC Standard Research Grant EP/C001885/1, GPB 3,000


September 2004 - November 2004


The Structural Operational Semantics Workshop will be the first ever meeting devoted solely to an exciting theme in computer science research called Structural Operational Semantics (SOS for short). It will provide scientists and postgraduate students with a rare and valuable opportunity to present and discuss the state-of-the-art SOS research, establish new collaboration links, and strengthen the existing ones. It will also provide an opportunity for new researchers to become acquainted with the foundations of SOS. The workshop will take place in conjunction with the 15th International Conference on Concurrency Theory CONCUR 2004. As indicated above, one of the main aims of the workshop is to widen the knowledge of SOS among postgraduate students and young researchers from the U.K. and abroad. In order to achieve this aim, the workshop will have several internationally leading scientists giving invited lectures and tutorials, as well as a number of carefully selected talks presenting the recent developments in SOS research. The invited tutorials and, to some extent, the invited lectures will target postgraduate students specifically, and will provide the training in the SOS methodology as well as stimulating interest in SOS research. This application is for partial financial assistance towards the cost of travel and subsistence for up to 15 PhD students from the U.K. to attend the SOS Workshop, and for inviting two eminent scientists from abroad to deliver the invited tutorials. The total amount applied for is 3000 pounds.


I Ulidowski

Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.