NewsEntry (2018/05/18)

From LRDE

Revision as of 17:53, 19 May 2018 by Daniela (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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