Annonce June 2011

annonce@lrde.epita.fr
  • 6 participants
  • 8 discussions

[Séminaire des étudiants CSI] lundi 4 juillet 2011 - Amphi Masters
by Daniela Becker
12 years, 8 months

CDR 9 "File-Local Variables" finalized
by Didier Verna
12 years, 8 months

Publication: ATVA'11: Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
by Alexandre Duret-Lutz
12 years, 8 months

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 6 juillet 2011
by Jonathan Fabrizio
12 years, 9 months

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 15 juin 2011
by Jonathan Fabrizio
12 years, 9 months

Publication: SUMo'11: Generalized Büchi Automata versus Testing Automata for Model Checking
by Alexandre Duret-Lutz
12 years, 9 months

Publication: ICDAR'11: A Free Software Framework for Document Image Analysis
by Guillaume Lazzara
12 years, 9 months

paper accepted INTERSPEECH 2011
by Reda Dehak
12 years, 9 months
Results per page: