[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