Annonce June 2014

annonce@lrde.epita.fr
  • 5 participants
  • 5 discussions

[CfPart] International Lisp Conference 2014, August 15-17, Montreal
by Didier Verna
8 years, 2 months

Publication: Is There a Best Büchi Automaton for Explicit Model Checking? (SPIN'14)
by Alexandre Duret-Lutz
8 years, 3 months

Informatique et MOOC
by Olivier Ricou
8 years, 3 months

[Seminaire-LRDE] Mercredi 11 juin 2014: Tamy Boubekeur, Professeur, Telecom ParisTech
by Daniela Becker
8 years, 3 months

Publication: A Morphological Method for Music Score Staff Removal (ICIP'14)
by Thierry Géraud
8 years, 3 months
Results per page: