Journée "Conception et Vérification Formelle de Protocoles Distribués" (26 Novembre 2013)

Le pôle MathStic de l'université Paris 13 organise une journée "Conception et Vérification Formelle de Protocoles Distribués" le 26 Novembre 2013.
La journée aura lieu en salle L322/324, Institut Galilée, Université Paris 13.

Le programme de la journée est le suivant:

09h00    Accueil

09h15    Fabrice Kordon (Professeur, LIP6-UPMC) : Verification of a Quasi certification Protocol over a Distributed Hash Table (DHT).
10h00    Pause
10h30    Isablle Augé-Blum (MdC, CITI - INSA Lyon) : Validation formelle de protocoles temps réel pour réseaux de capteurs sans fil.
11h15    François Vernadat (Professeur, LAAS) : Fiacre/TINA: Un environnement pour la description et vérification de systèmes temps réel.
12h00    Buffet
13h30    Saadi Boudjit (MdC, L2TI-UP13) : SN-MPR: Protocole de Routage Optimisé pour Réseaux de Capteurs Sans Fil à Large Echelle.
14h15    Laure Petrucci (Profeseur, LIPN-UP13) : Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs.
15h00    Pause
15h30    Salim Allal (Doctorant, L2TI-UP13), Saadi Boudjit (MdC, L2TI-UP13) : GeoSUZ: A Geocast Routing Protocol in SubZORs for Vanets.
16h15    Sami Evangelista (MdC, LIPN-UP13) : Formal Analysis of the NEO Protocol for Large Scale Distributed Database.
17h00  Table ronde et clôture.


Pour des raisons d'organisation, merci de nous prévenir par mail si vous souhaitez venir (This email address is being protected from spambots. You need JavaScript enabled to view it.This email address is being protected from spambots. You need JavaScript enabled to view it.).

 
Saadi BOUDJIT, Kaïs KLAI (organisateurs de la journée).

Journée thématique Clouds & Réseaux (17 octobre 2013)

Le pôle MathStic de l'université Paris 13 organise une journée thématique "Clouds et Réseaux" le 17 Octobre 2013. La journée aura lieu en amphi Copernic, Institut Galilée, Université Paris 13.

Le programme de la journée :

08h45      Accueil
09h15      L'internet virtuel, Guy Pujolle (Université Pierre et Marie Curie - Paris 6)
10h15      QoS-aware NaaS requirements for Cloud computing, Ines Ayadi (Telecom ParisTech), Gladys Diaz (Université Paris 13)
10h45      Pause
11h15      Mutualisation de grilles de calcul sur un cloud privée: Retour d'expérience d'une mise en œuvre chez un grand assureur Français, Houcem Hamza (ANEO), Benoît de Pompignan (ANEO) : 
12h00      Modeling energy Consumption in Volunteer Clouds , Yanik Ngoko (Université Paris 13) :
12h30      Buffet
13h45      Babel, un protocole de routage pour réseaux hybrides, Juliusz Chroboczek (Université Paris Diderot - Paris 7) :
14h30      Les dessous de SlapOS, Alain Takoudjou (Université Paris 13) :
15h00      Pause
15h30      Augmented QoE in LISP-enabled Cloud Networks, Stefano Secci (Université Pierre et Marie Curie - Paris 6) :

Pour des raisons d'organisation, merci de prévenir par mail les organisateurs si vous souhaitez venir (mais on ne refusera personne) :

  • Khaled Boussetta : This email address is being protected from spambots. You need JavaScript enabled to view it.
  • Christope Cerin : This email address is being protected from spambots. You need JavaScript enabled to view it.