Difference between revisions of "NewsEntry (2016/04/08)"
From LRDE
(Created page with "{{News |title=Next Seminar [http://www.mefosyloma.fr/j2016-04-08.html] at LRDE. |subtitle=Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Cola...") |
(erase contents) |
||
Line 1: | Line 1: | ||
− | {{News |
||
− | |title=Next Seminar [http://www.mefosyloma.fr/j2016-04-08.html] at LRDE. |
||
− | |subtitle=Invited speakers: Alexandre Duret-Lutz (LRDE/EPITA) on "Spot 2.0" and Maximilien Colange (ENS de Cachan) on "TiAMo, the Timed Automata Model-checker" |
||
− | |date=2016/04/08 |
||
− | }} |