Bonjour à tous, 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