[TYPES/announce] GT-VC 2006 @ CONCUR: Deadline extension, 2 June
Arend Rensink
rensink at cs.utwente.nl
Mon May 29 11:56:28 EDT 2006
It is not too late to consider submitting your work in progress, or even a full paper, to the workshop on Graph Transformation for Verification and Concurrency! We have extended the submission deadline to June 2, 2006. See also the announcement on the workshop homepage (http://www.fmi.uni-stuttgart.de/szs/events/gtvc2006/).
Yours,
Barbara Koenig
Arend Rensink
Reiko Heckel
More information about the Types-announce
mailing list