Actualité ClearSy

APM-ATS 2011

APM-ATS

ClearSy tiendra un stand à l’occasion de la 13ème conférence internationale sur les systèmes de transports automatiques, qui aura lieu à Paris, au Palais des Congrès, du 22 au 26 mai 2011. Cet événement rassemblera les principaux acteurs du ferroviaire … Continuer la lecture


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

L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B. Celle-ci se déroulera le 7 juin 2010, à la Cité Internationale des Congrès et rassemblera les grands acteurs du langage B autour de différentes problématiques … Continuer la lecture


Enseignement des Méthodes Formelles à l’ENSI de Bourges

ClearSy dispense désormais des cours relatifs aux méthodes formelles à l’ENSI de Bourges : Spécification du logiciel Conception et programmation sécurisée D’une durée de 20 heures, ces cours s’adressent aux étudiants de 3ème année, option « Architecture et sécurité logicielles ».


Enseignement des Méthodes Formelles à l’École des Mines de Gardanne en 2010

ClearSy dispensera des cours relatifs aux méthodes formelles à l’École des Mines de Gardanne, durant le mois de janvier 2010. Ces cours, totaliseront 18 heures d’enseignement, et porteront sur l’initiation des étudiants à la méthode B.


Lambda Mu16 – Les Nouveaux Défis de la Maîtrise des Risques

Deux ans après le Lambda Mu15, l’Institut pour la Maîtrise des Risques (lMdR) a organisé la seizième édition de son célèbre congrès, et a souhaité aborder le thème des “Nouveaux Défis” auxquels sont exposés chaque jours les industriels, investisseurs, ingénieurs, … Continuer la lecture


Colloque « B Dissemination Day 2008 », au Brésil

AeS et ClearSy organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août prochain. Cet événement sera présenté à 2 reprises, lors des 2 conférences suivantes : 26 août 2008 : Conférence SBMF … Continuer la lecture


Vector Forum 2008 : « L’Embarqué, maintenant et dans 20 ans »

ClearSy participera au Forum organisé par Vector France, qui se tiendra le 24 juin 2008, au Palais des Congrès à Versailles. Cet événement aborde la thématique des systèmes embarqués, de ses évolutions au cours des 20 dernières années et de … Continuer la lecture


ClearSy à la Conférence SBMF 2007 au Brésil

Clearsy était présente à la conférence SBMF 2007 et y a présenté son article : « Formal Methods in Safety-Critical Railway Systems« . Elle y a exposé l’utilisation de la méthode B dans son processus de réalisation de systèmes, et montré l’utilisation … Continuer la lecture