Hello world, mardi après-midi et mercredi matin c'est les journées équipe Automates & Applications à KB. On a deux invités : Safa Zouari, doctorante à l'NTNU en Norvège et Sven Dziadek qui est maintenant à Télécom Paris. Tout le monde est le bienvenu pour assister aux parties publiques, soit en KB402 soit sur zoom : https://ecolepolytechnique.zoom.us/j/88946806845?pwd=L3hmQUY3bStram5uNkRPQk… Le programme publique : ### mardi 20 juin * 15h30 Antoine : Translating Semi-Extended Regular Expressions to DFAs * 15h50 Safa : TBA * 16h10 Anissa : Tuning SAT solvers for LTL Model Checking * 16h30 Pause * 16h40 Jim : Scala from a Common Lisp programmer's perspective * 17h10 Amazigh : Branching automata * 17h40 Didier : Lisp, Jazz, Aikido * 18:10 Fin ### mercredi 21 juin * 9h00 Hugo : Developments in HDA theory * 9h30 Sven : TBA * 10h00 Ghiles : TBA Bonne journée, Uli ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr//