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

[Announcements of FME events]

B 2012 - a FM2012 satellite workshop
Paris, France, August 28, 2012
Preliminary Call for Paper
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 –Danemark (Co-chair)


PROGRAM COMMITTEE : TBC



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