B Dissemination Day – Salvador
CLEARSY and AeS have organized a B Dissemination Day in Salvador, Brasil (August 26 2008), as a satellite event of the Brasilian Symposium on Formal Methods SBMF’2008. The day was devoted to the presentation of technical software development in B and system modelling in event B. Related tools (Atelier B, Bart, Brama, ComenC, ProB, Rodin) were demonstrated and some industrial applications were described in detail. Around 20 researchers attended this event.
B Dissemination Day – Sao Paulo
A technical workshop was organized in Sao Paulo, Brasil (August 28 2008) by Instituto de Pesquisas Tecnologicas, in collaboration with AeS and CLEARSY. The day was devoted to the presentation of technical software development in B and system modelling in event B. Related tools (Atelier B, Bart, Brama, ComenC, ProB, Rodin) were demonstrated and some industrial applications were described in detail. Around 45 persons, coming from various fields (transportation, bank, telecommunications, etc.) attented this event (Alstom Energia e Transportes, Nextview, Compugraf, Companhia do Metropolitano de Sap Paulo, Banco Itaõ, Companhia de Trens Metropolitanos, KALBTEL telecomunicaõs, Instituto tecnologico de aeronotica, Ephasys IT solutions, Altec do Brasil, etc.).
