Log in to EasyChair for DS-Event-B 2012

Submission of new papers for DS-Event-B 2012 (Workshop on the experience of and advances in developing dependable systems in Event-B) is closed.

EasyChair uses cookies for user authentication. To use EasyChair, you should allow your browser to save cookies from easychair.org.

EasyChair Requires JavaScript!You can only use EasyChair with a browser that supports JavaScript. Your browser either does not support JavaScript or it has JavaScript support disabled. Please upgrade your browser or enable Javascript support.

Useful links:

Forgot your password?
Create account
Problems to log in?