[ecoop-info] B 2012 Call for Paper - Workshop collocated with FM 2012

Announcements of FME events events at fmeurope.org
Fri Mar 9 18:43:34 CET 2012

B 2012 - a FM2012 satellite workshop
Paris, France, August 28, 2012



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


Main topics addressed by the workshop are many, including but not
limited to:

• Theoretical advances : refinement, composition, code generation,
verification and proofs
• Modeling challenges, guidelines for formal development, integration of
B in software and
systems engineering
• Tool development, tool usage reports
• Case studies, return of experience, methodology, scaling up
• Teaching and training
• New perspectives


We invite two kinds of papers: long and short papers. Accepted long
papers will be published in ENTCS following the workshop.

• Long papers (10 ENTCS pages) dedicated to presenting research findings
in the identified topic areas of the workhop. Papers must describe
original work that does not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings.

• Short papers (max 6 ENTCS pages) dedicated to work in progress,
teaching experiments or case study. They do not constitute a refereed
publication. Hence, this will avoid any constraints on later publication.

Papers must follow the ENTCS guidelines
(http://www.entcs.org/prelim.html) and be submitted in PDF format and
will be handled via EasyChair


Abstract submission March 15, 2012
Paper submission March 22, 2012
Acceptance notification May 9, 2012
Final version June 14, 2012

Marie-Laure Potet -Vérimag – Grenoble INP – France (Chair)
Stefan Hallerstede –Aarhus University - Denmark (Co-chair)


events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list