ClearSy’s Open Source Projects .:. posted by ClearSy the 17-07-08 at 10h30 .:.
|
 n 2008, ClearSy decided to make Atelier B available at no cost in order to favour the dissemination of B.
In order to facilitate the appropriation of underlying technologies, a number of Atelier B’s key tools have become open source community projects...
More information about ClearSy's Open Source Projects... |
|
|
Free Version of Atelier B .:. posted by ClearSy the 02-07-08 at 10h28 .:.
|
 Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The version currently being prepared and tested internally will be made available to a few volunteer users between July and September. Then the Beta test will start and cover two months, ending at the end of 2008.
Until then, the schools and universities who wish to have Atelier B can now request a loan of Atelier B 3.7.
More information about the Free Version of Atelier B... |
|
|
"B Dissemination Day 2008" Seminar in Brazil .:. posted by ClearSy the 09-06-08 at 10h26 .:.
|
 This year, AeS and ClearSy are organizing a day dedicated to the B Method, which will take place in Brazil in August. This seminar will be presented on two occasions during the following two conferences:
- August 26, 2008: SBMF 2008 Conference in Salvador
- August 28, 2008: Conference at the IPT (institute for technological research in the State of Sao Paulo)
The objective of this event is to present and promote the B Method through different presentations of projects and tools that use B.
|
|
|
International "Open Source Software Certification" Conference .:. posted by ClearSy the 22-05-08 at 10h19 .:.
|
 This year, FLOSS-FM and OpenCert 2008 have organized the second international conference dedicated to Open Source and Formal Methods. The objective of this event is to bring together industrial and academic players to discuss the issue of the certification of software developed with Open Source based on Formal Methods.
For more information, visit the event site: FLOSS-FM. |
|
|
DASIA 2008, from May 27 to 30, 2008 at Palma de Ma .:. posted by ClearSy the 02-04-08 at 10h17 .:.
|
 ClearSy will participate in the DASIA 2008 (DAta Systems in Aerospace) conference to be held between May 27 and 30, 2008. For more information on this event, visit:
|
|
|
Conference on Formal Methods, Turku, Finland .:. posted by ClearSy the 02-04-08 at 10h13 .:.
|
 Formal Methods Europe has organized an international conference on formal methods to be held from May 26 to 30. This event will provide information on the latest technical innovations related to these methods and will present new formal tools.
ClearSy will present the BART project. More informations...
For more information on this conference, visit: FM 2008. |
|
|
Conference: the B Method, from Research to Teachin .:. posted by ClearSy the 08-02-08 at 10h11 .:.
|
 The University of Nantes has organized a conference on the B Method, which will take place on June 16, 2008 at the Cité Internationale des Congrès in the City of Nantes.
For information on the conference program, we invite you to visit:
|
|
|
ABZ Conference 2008 from 16 to 18 September 2008, .:. posted by ClearSy the 11-01-08 at 10h07 .:.
|
 The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is:
- the 15th International ASM Workshop,
- the 17th International Conference of Z Users,
- the 8th International Conference on the B Method
.
Information is available on the conference’s website: ABZ 2008. |
|
|
Conference on Formal Engineering Methods .:. posted by ClearSy the 20-09-07 at 11h25 .:.
|
 On the occasion of its 9th conference, the ICFEM (International Conference on Formal Engineering Methods), which will take place from November 14 to 15, 2007 in Florida, will discuss the B and the Rodin Platform issue. |
|
|
|
