NewsEntry (2018/05/18)

From LRDE

Title Seminar MeFoSyLoMa at LRDE.
Sub-Title

Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates"

Date

2018/05/18