Loading Events

« All Events

  • This event has passed.

Formal Methods Seminar : Sergueï Lenglet

October 16, 2018 @ 10:00 am - 11:30 am

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.


October 16, 2018
10:00 am - 11:30 am
Event Category:


Salle A008

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine