Séminaire de Alexis Linard et Rick Smetsers (Université Radboud de Nijmegen, Pays-Bas)

Alexis Linard et Rick Smetsers, doctorants à l’Université Radboud de Nijmegen (Pays-Bas), sont de visite pendant une semaine.
Les deux travaillent sous la direction de Frits Vaandrager, qui vient de publier un joli review intitulé « Model Learning » dans ACM communications : https://cacm.acm.org/magazines/2017/2/212445-model-learning/fulltext
Alexis et Rick donneront un séminaire ce mardi 11 avril, à 14h, en salle 105.

Dans une première partie, il s’agira de modéliser le problème d’apprentissage d’automates comme un problème de satisfiabilité modulo une théorie. Les résultats obtenus avec cette modélisation améliorent notablement l’état de l’art.
Dans une deuxième partie, le problème visé est celui d’apprendre non pas un langage, mais un ensemble de langages, en situation non supervisée, c’est à dire en recevant tous les exemples sans étiquette.
Dans les deux cas les applications visées relèvent de la vérification.

Pendant leur séjour ils sont logés dans le bureau 203 du bât 11. Si pendant ce séjour quelqu’un veut en savoir plus sur cette thématique, interagir avec eux, savoir comment se passe une thèse aux Pays-Bas, etc., n’hésitez pas à passer leur dire bonjour ou à leur envoyer un mail (Alexis Linard <a.linard@cs.ru.nl>, Rick Smetsers <r.smetsers@cs.ru.nl>).