Annonce

annonce@lrde.epita.fr
  • 566 discussions

[Reminder CfP] ELS 2021, 14th European Lisp Symposium, May 3-4
by Didier Verna
4 years, 4 months

[CfP] ELS'21, 14th European Lisp Symposium, online, May 3-4 2021
by Didier Verna
4 years, 6 months

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

Habilitation defense
by Didier Verna
4 years, 11 months

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

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

New publication: Improving swarming using genetic algorithms
by Renault Etienne
5 years

[Last CfP] Onward! Essays @SPLASH 2020, Chicago, Nov 15-20
by Didier Verna
5 years, 1 month

New publication: LTL Model Checking for Communicating Concurrent Programs
by adrien
5 years, 1 month

New publication: Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
by Alexandre Duret-Lutz
5 years, 1 month
Results per page: