le doodle a décidé:
Notre prochain séminaire ALLAH aura lieu le 7 juillet à 14h dans lequel on a le plaisir
d'accueillir Shufang Zhu, qui mené sa recherche actuellement à Oxford, pour un expose
portant sur la synthèse des contrôleurs pour du LTLf et le projet européen WhiteMech.

En esperant que vous soyez nombreux,
Philipp Schlehuber