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//