Accueil
>
Verimag
>
Séminaires
Détails sur le séminaire
salle A. Turing CE4
9 septembre 2014 - 14h30
fonctions de Schur
par Dorian Nogneng de École polytechnique
Résumé : Exposé du stage de Dorian Nogneng à University of Western Ontario.
Navigation
Rubriques
Verimag
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Documents
Axes
Contact
Plan du site
Acces au Batiment
Actualités
ACTUALITÉS
Développement, conception et sémantique des langages de programmation
Chaire de professeur junior CNRS
Nouvelles publications
Quelques Publications Récentes
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet:
Formally Verified Hardening of C Programs against Hardware Fault Injection
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Offres d'emploi et stages
Offres d'emploi et stages
Chaire de professeur junior CNRS
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.16
+
AHUNTSIC
[CC License]
info visites
8376532
English
Français