B 2012 - a FM2012 satellite workshop

**********************************************************************
                        DEADLINE EXTENSION

          Abstract submission: March 23, 2012
          Full paper submission: April 2, 2012

**********************************************************************


                         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).


PROGRAM COMMITTEE :


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

Yamine Aït-Ameur, IRIT-ENSEEIHT, Toulouse, France
Christian Attiogbé, University of Nantes, France
Richard Banach, University of Manchester, IK
Michael Butler, university of Southampton, UK
Mamoun Filali, CNRS, University of Toulouse, France
Marc Frappier, Université de Sherbrooke, Québec, Canada
Stefan Hallerstede - Aarhus University, Danmark
Andrew Ireland, Heriot-Watt University, UK
Jacques Julliand, LIFC, University of Besançon, France
Régine Laleau, University of Paris-Est, France
Thierry Lecomte, Clearsy, France
Michael Leuschel, University of Düsseldorf, Germany
Anamaria Martins Moreira, UFRN, Natal, Brazil
Marie-Laure Potet, VERIMAG, University of Grenoble, France
Emil Sekerinski, McMaster University, Canada
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Marina Waldén, Åbo Akademi University, Turku, Finland







-- 
Marie-Laure Potet
Prof. Grenoble INP

VERIMAG - Centre Equation
2 avenue de Vignate
38610 GIERES
FRANCE

Mail: Marie-Laure.Potet@imag.fr
Tel: +33 (0) 4 56 52 04 28
Fax:  +33 (0) 4 56 52 03 44

http://www-verimag.imag.fr/~potet

To reach us:
http://www-verimag.imag.fr/index.php?page=plan