NewsEntry (2018/05/18)
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
| 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 |