Chargement Évènements

« Tous les Évènements

Formal Methods Seminar : Sergueï Lenglet

octobre 16 @ 10:00 - 11:30

Next Formal Methods Seminar will take place on Tuesday, October 16th at 10 in room A008.

Sergueï Lenglet (Loria, UL) will give a presentation entitled “HOpi in Coq : Locally Nameless vs Nominal”.

Resume : I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus, i.e., a process algebra where messages contain executable processes. I will discuss in particular the problem of representing binders, and compare existing techniques (locally nameless and nominal) in that setting.


Date :
octobre 16
Heure :
10:00 - 11:30
Catégorie d’Évènement:


Salle A008

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine