DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B

Important Dates

Submission Deadline:
    Aug 19, 2012
    (extended)

Notification:
    Sep 10, 2012

Camera-ready Copy Due
    Oct 10, 2012

Workshop:
    Nov 13, 2012

Contact:

f-ishikawa<-at->nii.ac.jp

Links

ICFEM 2012

CbC-Depend Tutorial

Sponsers

DEPLOY
Rodin Tools
CSR