Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
B Dissemination Day
Satellite event of Grace International Symposium on Advanced Software Engineering 2010
Mars 15th-17th 2010, Tokyo, Japan
The first instalment of the B Dissemination Day workshop in Japan was held in Tokyo, 17th March 2010, as a satellite event of the GRACE International Symposium on Advanced Software Engineering.
76 persons have registered to the event, mostly from industry (CSK, Fujitsu, Hitachi, IBM, Kansai Electric Power, Melco Power Systems, Mitsubishi, NEC, Toshiba, Toyota, etc.).
Interesting questions and remarks were collected all along the day, and some promising connections have already been established.
Slides have been uploaded on a dedicated webpage and are available for download:
http://www.bmethod.com/php/conference-grace-2010-en.php.
The B Dissemination Day workshops are being organized worldwide to disseminate B/Event-B technology (tools, methods) to industry and academic audience, on behalf of the Deploy project:
- B Dissemination Day, 26 August 2008 (Salvador de Bahia, Brazil)
- B Dissemination Day, 28 August 2008 (São Paulo, Brazil)
- B Dissemination Day , 17 March 2010 (Tokyo, Japan)
- Workshop on B Dissemination , 8-9 November 2010 (Natal, Brazil)