AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour la catégorie 'Séminaires'

Journée Logiciel embarqué le 16 décembre 2008 à Rennes

Thursday 11 December 2008

La technopole Rennes Atalante, le pôle de compétitivité Images & réseaux et le centre de recherche Inria Rennes - Bretagne Atlantique co-organisent, le 16 décembre prochain, unejournée thématiquesur le thèmeLogiciel embarqué, des solutions génériques et transectorielles.
L’objectif de cette journée est dedévelopper les échanges entre entreprises etchercheursacadémiques du grand Ouest afin de favoriser l’émergence de projets innovants.

La journée débutera par une présentation du tout nouveau Club des entreprises de l’embarqué.
Elle se poursuivra par une série d’exposés donnés en tandem par un représentant du monde académique et un représentant du monde industriel. Ces exposés couvriront le spectre du logiciel embarqué allant des architectures matérielles aux machines virtuelles, en passant par les langages de programmation et de vérification et l’ingénierie des modèles.
Bertrand Braunschweig présentera ensuite le programme Systèmes embarqués et grandes infrastructures de l’Agence nationale de la recherche.

Journée Logiciel embarqué

Publié dans Manifestations, Séminaires | Pas de commentaire »

Workshop LSV 26-27 Nov. 2007

Tuesday 6 November 2007

LSV |= 10Y : 10 Years of Verification in Cachan

Special Workshop, 26-27 Nov. 2007, Cachan, France

See http://www.lsv.ens-cachan.fr/LSV10Y

The Laboratoire Spécification & Vérification (LSV) is organizing a two-day
workshop to celebrate its 10th anniversary. The workshop will be centered
around two special awards ceremonies:
- Patricia Bouyer receiving CNRS’s 2007 Bronze Medal for Computer Science (Monday 26th),
- Kim G. Larsen becoming Doctor Honoris Causa at ENS Cachan (Tuesday 27th).

Publié dans Manifestations, Séminaires | Pas de commentaire »

Premières Assises Françaises du Logiciel Embarqué (7 mars 2007)

Sunday 18 February 2007

Premières Assises Françaises du Logiciel Embarqué
à Paris le Mercredi 7 mars 2007
ACCUEIL

Programme et inscription :
Programme

Publié dans Manifestations, Séminaires | Pas de commentaire »