  These proceedings include papers presented at the Workshop on "The experience
of and advances in developing dependable systems in Event-B" held on November
13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).
