Annonce March 2014

annonce@lrde.epita.fr
  • 3 participants
  • 7 discussions

publication: Mechanizing the Minimization of Deterministic Generalized Büchi Automata (FORTE'14)
by Alexandre Duret-Lutz
8 years, 1 month

L'air de rien 30.0
by Daniela Becker
8 years, 2 months

[CfP] DEADLINE EXTENSION - 7th European Lisp Symposium
by Didier Verna
8 years, 2 months

Prochain séminaire MeFoSyLoMa le 28 mars au LRDE (EPITA)
by Alexandre Duret-Lutz
8 years, 2 months

new journal publication: LTL Translation Improvements in Spot 1.0
by Alexandre Duret-Lutz
8 years, 2 months

Le LRDE participe au programme PHC Barrande 2014
by Daniela Becker
8 years, 2 months

[Seminaire-LRDE] Mercredi 12 mars 2014 : Vincent Balat, Université Paris Diderot et INRIA
by Daniela Becker
8 years, 2 months
Results per page: