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.