Il y a 1 Résultats avec le mot clé : "Summer school"
Summer School
SFM-11: CONNECT
Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems.
The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.
Lieu : Bertinoro (Italy)
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > SFM-11: CONNECT
Inria
Inria.fr
Inria Channel
Centres de recherche Inria