Annonce

annonce@lrde.epita.fr
  • 564 discussions

Mercredi 16 décembre 2020: Stefan Schwoon, ENS Paris-Saclay
by Nicolas BOUTRY
4 years, 3 months

Habilitation defense
by Didier Verna
4 years, 8 months

New publication: Practical “paritizing” of Emerson-Lei automata
by Florian Renkin
4 years, 8 months

Soutenance Julie Rivet 17 juillet 14h
by jrivet
4 years, 9 months

New publication: Improving swarming using genetic algorithms
by Renault Etienne
4 years, 10 months

[Last CfP] Onward! Essays @SPLASH 2020, Chicago, Nov 15-20
by Didier Verna
4 years, 10 months

New publication: LTL Model Checking for Communicating Concurrent Programs
by adrien
4 years, 10 months

New publication: Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
by Alexandre Duret-Lutz
4 years, 10 months

Spot 2.9 released
by Alexandre Duret-Lutz
4 years, 11 months

[CfP] Reminder: Onward! Essays / SPLASH 2020, Nov. 15-20, Chicago.
by Didier Verna
4 years, 11 months
Results per page: