View source for NewsEntry (2016/04/08)

← NewsEntry (2016/04/08)

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, Bots.

You can view and copy the source of this page.

{{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
}}

Return to NewsEntry (2016/04/08).

Retrieved from "https://www.lrde.epita.fr/wiki/NewsEntry_(2016/04/08)"