Logic List Mailing Archive

9th workshop on coalgebraic methods in computer science

4-6 April 2008
Budapest, Hungary

----------------------------------------------------------------------
CMCS 08 : FINAL CALL FOR SHORT CONTRIBUTIONS

9th International Workshop on Coalgebraic Methods in Computer Science
http://www.cwi.nl/projects/cmcs08/
Budapest, Hungary
April 4-6, 2008

Key Note Speaker: Dexter Kozen Invited Speakers: Stefan Milius and Dirk 
Pattinson

The workshop will be held in conjunction with the 11th European Joint
Conferences on Theory and Practice of Software ETAPS 2008
March 29 - April 6, 2008

Following the tradition of preceding workshops we invite short
contributions that will be collected in a technical report of the Technical 
University of Braunschweig. They should be
no more than two pages and may describe work in progress, summarise
work submitted to a conference or workshop elsewhere, or in some
other way appeal to the CMCS audience. They should be submitted in postscript 
or pdf form as attachments to an email to 		cmcs08@cwi.nl. 
Deadline for submission of short contributions:      March 10, 2008.
Notification of acceptance of short contributions:   March 17, 2008.

Jiri Adamek and Clemens Kupke
PC co-chairs