Colloque International “Open Source Software Certification” – 10 septembre 2008, Milan

FLOSS-FM ET OpenCert 2008 organisent cette année le 2nd colloque international dédié à l’Open Source et aux Méthodes Formelles. Cet événement a pour objectif de rassembler les acteurs industriels et académiques autour de la problématique de la certification de logiciels développés en Open Source à partir de Méthodes Formelles. Pour en savoir plus, consultez le […]

Colloque sur les méthodes formelles à Turku, en Finlande

Formal Methods Europe organise du 26 au 30 mai 2008, un colloque international consacré aux méthodes formelles. Cet événement fera le point sur les dernières évolutions techniques de ces méthodes, et présentera de nouveaux outils formels. ClearSy y présentera l’outil BART. Plus d’informations… Pour en savoir plus sur ce colloque, rendez-vous sur le site : FM 2008.

DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque

DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque ClearSy participera au colloque DASIA 2008 (DAta Systems In Aerospace) qui se tiendra du 27 au 30 mai 2008. Pour en savoir plus sur ces journées, rendez-vous sur le site : DASIA 2008. Accéder à l’article présenté par ClearSy lors de la conférence DASIA […]

Conférence : La Méthode B, de la Recherche à l’Enseignement

L’université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes. Pour connaître le programme de cette conférence, nous vous invitons à découvrir : le site de la conférence de Nantes le blog consacré à la conférence […]

Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres

La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d’une journée commune et de 2 journées propres à chaque communauté, soit : the 15th International ASM Workshop, the 17th International Conference of Z Users, the 8th International Conference on the B Method Les Informations sont […]

Conférence B 2007 à Besançon du 17 au 19 janvier 2007

ClearSy a participé à la conférence B2007, qui se tenait à Besançon du 17 au 19 janvier. Dans le cadre de nos travaux de Recherche & de Développement que nous menons avec STMicroelectronics, nous avons fait la présentation de notre projet. Nous avons également présenté notre outil d’animation graphique de modèle formel : Brama. Programme […]

Roadmap projets ClearSy 2007/2008

Roadmap ClearSy 2007/2008

Forte de son expérience en Recherche & Développement, ClearSy développe ses outils dans l’objectif de répondre efficacement aux besoins de ses utilisateurs. A ces fins, notre société s’inscrit dans des projets évolutifs et axe son développement autour d’outils majeurs tels que l’Atelier B, B4Free, Brama et CompoSys. Pour plus d’informations sur notre programme, vous trouverez […]

Conférence AFADL’06

Participation de Clearsy à AFADL’06 (15, 16, 17 mars 2006). Démonstration d’un nouvel outil d’aide à la spécification de système : CompoSys. Pour découvrir Composys…