The B community has largely contributed to the FM2011 symposium theme “Formal Methods Come of Age”. The B2011 workshop, colocated with FM, provides a fantastic opportunity to widely gather the B community (from academia, industry and administration).
The idea is to cover an ample spectrum of themes, from theoretical advances, tool support, industrial practice, new application domains as well educational practice. It is also the place for establishing some new feedbacks about industrial applications of B. Papers discussing new ideas that are at an early stage of development are also welcome.
Topics addresses by the workshop are many, including but not limited to:
|Abstract submission||March 3, 2011|
Extended : March 16, 2011
Extended : April 19, 2011
Extended : May 16, 2011
|Workshop||June 21, 2011|