[isabelle] 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 at 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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.