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

[Announcements of FME events]

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


http://membres-liglab.imag.fr/idani/B2012


OBJECTIVES

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.


INDICATIVE LIST OF TOPICS

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

PAPER SUBMISSION

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
(https://www.easychair.org/conferences/?conf=b2012).


IMPORTANT DATES

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)


PROGRAM COMMITTEE : TBC




_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events