The B2012 workshop, co-located with FM, provides an opportunity to
widely gather the B community
(from academia, industry and
administration).
The idea is to cover an ample spectrum of topics, from theoretical advances, tool support, industrial practice, new application domains as well educational practice. It is also the place to hear about recent advances in current industrial applications using B. Papers discussing new ideas that are at an early stage of development are also welcome.
We invite two kinds of papers: long and short papers. Accepted long papers will be published in ENTCS following the workshop.
Papers must follow the ENTCS guidelines (http://www.entcs.org/prelim.html) and be submitted in PDF format and will be handled via EasyChair (https://www.easychair.org/conferences/?conf=b2012).
Topics addresses by the workshop are many, including but not limited to:
Abstract submission | March 23, 2012 (extended) |
Full paper submission | April 2, 2012 (extended) |
Acceptance notification | May 9, 2012 |
Final version | June 14, 2012 |
Workshop | August 28, 2012 |