Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CMCS 08: final call for short contributions


view this post on Zulip Email Gateway (Aug 18 2022 at 11:28):

From: Clemens Kupke <Clemens.Kupke@cwi.nl>


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


Last updated: Nov 21 2024 at 12:39 UTC