NewsEntry (2018/05/18)
From LRDE
Revision as of 17:53, 19 May 2018 by Daniela Becker (talk | contribs) (Created page with "{{News |title=Seminar [http://www.mefosyloma.fr/j2018-05-18.html MeFoSyLoMa] at LRDE.
|subtitle=Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient...")
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 |