Les séminaires de l'équipe SyS du Cédric


Date Nom Titre
Jeudi 10/03/2016 Sergueï Lenglet
Equivalences comportementales pour les opérateurs de contrôle
Mardi 15/03/2016 Pablo Rauzy Approche formelle de la sécurité des données personnelles
Jeudi 17/03/2016 Matthias Puech Types contextuels pour la méta-programmation : où raisonnements et langages se construisent ensemble.
Mardi 22/03/2016 Abderrahim Ait Wakrime Une approche par composants pour la visualisation scientifique interactive.
Jeudi 24/03/2016 Thomas Carle
Compilation efficace et correcte-par-construction pour systèmes cyber-physiques complexes.
Mardi 29/03/2016 Guilhem Jaber
Raisonner sur l'équivalence de programmes pour des langages fonctionnels avec effets.
Jeudi 31/03/2016 Lionel Rieg
Formalisation de la compilation des langages synchrones : de Lustre à Esterel
Vendredi 08/04/2016 Guillaume Scerri Tackling new challenges in security using logical methods
Jeudi 14/04/2016 Ivan Gazeau
Système de typage pour garantir la confidentialité dans le Cloud


Retrouvez ce programme sur Google Calendar.