Bonjour, nous avons le plaisir de vous annoncer la sortie du n°30 du bulletin du LRDE. Ce numéro résume les dernières bonnes nouvelles du LRDE, les avancées du projet Vaucanson 2 et les dernières publications du labo. Vous pouvez télécharger le bulletin en couleur à la page suivante : https://www.lrde.epita.fr/wiki/Latest_issue -- Daniela Becker Responsable administrative du LRDE