Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

A Workshop on Structural Operational Semantics

27 January 2004

Just a quick posting to advertise the forthcoming Workshop on Structural Operational Semantics affiliated to CONCUR 2004 to be held in London, England on 30 August 2004. I am the program committee co-chairman together with Wan Fokkink and Irek Ulidowski. The deadline for submissions is Sunday, 6 June 2004. Submit good papers to what we trust will be an interesting scientific event.

The invited speakers for the workshop are

Andrew Pitts (Cambridge, UK) and
Gordon Plotkin (Edinburgh, UK) (to be confirmed).

This is my last posting from Reykjavík for a while. Tomorrow I am travelling back to Aalborg to resume teaching duties. Since I will be teaching two courses of potential interest to the members of the concurrency theory community (one on concurrency theory and verification, and the other on professional skills in Computer Science), I'll post information on the lectures as I go along.