This is version . It is not the current version, and thus it cannot be edited.
[Back to current version]   [Restore this version]
The PhD Day of the Department Formal Methods at LORIA : Friday, September 21
The PhD Day of the Department Formal Methods at LORIA,.

Room A008, Friday, September 21, 2012#

PhD Students of the Department Formal Methods will give a talk on their ongoing works. The programme is starting at 9H00 and is organised as follows:

  • 9h00-9h30: Coffee
  • 9h30-9h45: Opening by Dominique Méry
  • 9h45-10h45 : Session 1
  • Guillaume Scerri: Preuves de sécurité symboliques et computationelles pour les protocoles cryptographiques (dir. H. Comon-Lundh and V. Cortier)
  • Cyrille Wiedling : Vérification Formelle de Protocoles : Vote Electronique et API de Sécurité (dir. V. Cortier)

  • 10h45-11h00 : Pause
  • 11h00-12h30 : Session 2
  • Manamiary Bruno Andriamiarina : Revisiting Snapshot Algorithms by Refinement-based Techniques
  • Henri Debrat: Vérification d'algorithmes répartis tolérants aux pannes dans le modèle Heard-Of
  • Hernán Vanzetto: Automatic verification of TLA+ proof obligations with SMT solvers
  • 12h45-14h00 : Lunch
  • 14h00-15h30 : Session 3
  • Bao Hoang: On the Polling Problem for Social Networks (dir. A. Imine)
  • Jean-Christophe Bach: Transformation de modèles et certification
  • Hugo Férée: Complexité d'ordre supérieur
  • Thanh Dinh Ta : Algebraically modeling and verifying malwares
  • 15h30-15h45 : Pause
  • 15h45-17 h 15 : Session 4
  • 17 h 15 : Closing Session


PhD Students are invited to send a title and an abstract to Dominique Méry.


9h00, room A008

Add new attachment

Only authorized users are allowed to upload new attachments.
« This particular version was published on 17-sept.-2012 10:24 by mery.