Actualité ClearSy

Séminaire DGA « Ingénierie des Systèmes Complexes »

Dans le cadre du séminaire « Méthodologies et Technologies innovantes pour les systèmes embarqués » organisé par la DGA à Toulouse, les 5 et 6 Novembre 2013, ClearSy intervient lors de la session Génération de code par les modèles – preuve formelle … Continuer la lecture


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