L'air de rien 35

From LRDE

Revision as of 15:24, 5 December 2015 by Daniela Becker (talk | contribs) (Created page with "{{LrdeBulletin |date=2015-12-05 |number=35 |abstract=This issue of the lab's bulletin is dedicated to: # Announcement of 2 PhD thesis defenses with a brief presentation o...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.


This issue of the lab's bulletin is dedicated to:

  1. Announcement of 2 PhD thesis defenses with a brief presentation of the research of both students at LRDE
  2. About model checking with Spot
  3. Experience of a CSI student within the Spot team
  4. About Vcsn and its applications


l'air-de-rien-35
Four A4 pages
l'air-de-rien-35-booklet
Print this copy in Duplex, binding along the short edge.
Retrieved from "https://www.lrde.epita.fr/index.php?title=LrdeBulletin/l-air-de-rien-35&oldid=53725"