Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | Links | Contact

Workshop on B Dissemination [WOBD]

Satellite event of SBMF 2010

November 8th-9th 2010, Natal, Brazil

DEPLOY   FP7   UE

Presentation

This B / event-B workshop is organized on behalf of the DEPLOY project. Its objectives are to present current status and ongoing research and development related to B and event B languages and tools, as well as applications to industry size problems. Topics addressed by the workshop are many, including but not limited to:

  • Tool development (language extensions, external provers, code generation, etc.)
  • Modelling challenges (real time properties, probabilistic refinement, design patterns, high order logic, etc.)
  • Deployment (methodology, cases-studies, return of experience, scaling up, etc.)
  • Teaching and training

Researchers are invited to contribute to the second day of the workshop through an open call for papers.

Program

The workshop lasts 2 days:

  • The first day is devoted to DEPLOY speakers. General presentation of the project and tools will be sided by focused talks on scientific/technical matters (modelling time, code generation, model animation, model checking, etc.) that are being researched in DEPLOY. Reports on industrial applications (space, railways, automotive, information systems, etc.) will complete the day.
  • The second day is open to any presenter, through an international call for papers. Expected contributions would range from theoretical research to practical applications of B/event B. Submissions are handled by the programme committee.

Day 1: Preliminary Program

Time Title Name
Refinement in UML-B Colin Snook (University of Southampton, UK)
Modularisation in Event-B Alexei Iliasov (Newcastle University, UK)
From system to software Thierry Lecomte (ClearSy)
ProB for Animation, Model Checking and Constraint Solving Michael Leuschel (University of Dusseldorf)
Deployment in business information software Andreas Roth (SAP, Germany), Thierry Lecomte (ClearSy, France)
Validation of Railway Properties with ProB Michael Leuschel (University of Dusseldorf)
Potpourri of what ? One year in a DA's life Aryldo G. Russo Jr., Thiago C. de Sousa, Haniel Barbosa (AeS Group), Paulo Muniz (University of Sao Paulo), David Déharbe (University of Rio Grande do Norte)

The workshop is collocated with the SBMF conference (Monday and Tuesday), at the Imira Plaza hotel.

Important Dates

  • Paper submission deadline: 30 July 2010
  • Notification of acceptance/rejection: 06 September 2010
  • Workshop in Natal, Brazil: 08-09 November 2010

Submission and attendance

We anticipate a rich exchange of ideas and discussions during this event. Submissions are welcomed on any subject that falls within the main issues. Papers should be around 6 pages in ENTCS style.

All papers must be submitted in PDF format, following the instructions at the WOBD’10 submission site, handled by EasyChair: http://www.easychair.org/conferences/?conf=wobd2010.

All accepted papers should be presented during the workshop.

Committees

Workshop Chair:

Program Committee:

  • Michael Butler (University of Southampton, UK)
  • Cliff Jones (University of Newcastle, UK)
  • Jérôme Phalampin (Siemens Transportation Systems, France)
  • Lilian Burdy (ClearSy, France)
  • David Basin (ETH Zurich, Switzerland)
  • Michael Leuschel (University of Dusseldorf, Germany)
  • Mathieu Clabaut (Systérel, France)
  • Christophe Ponsard (CETIC, Belgium)
  • Elena Troubitsyna (University of Turku, Finland)
  • Rainer Gmehlich (Bosch, Germany)
  • Aryldo Russo (AeS, Brazil)

History

Several B dissemination days have been organized over the last 6 years: