[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CMCS 08: final call for short contributions



----------------------------------------------------------------------
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