L'air de rien 35

From LRDE

Revision as of 14: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)


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.