Laboratoire Méthodes Formelles (@lmf_lab) 's Twitter Profile
Laboratoire Méthodes Formelles

@lmf_lab

Research lab on formal methods in Computing Science and beyond.

Nous suspendons l'utilisation de ce compte en raison des dérives de ce RS.

ID: 1278450436723400712

linkhttps://lmf.cnrs.fr calendar_today01-07-2020 22:08:44

134 Tweet

130 Takipçi

60 Takip Edilen

Laboratoire Méthodes Formelles (@lmf_lab) 's Twitter Profile Photo
Laboratoire Méthodes Formelles
@lmf_lab

4 years ago

Next week, on Tuesday 18 January at 11am, there will be a lab seminar. It will be given by Anca Muscholl (LaBRI) on "Active learning for sound negotiations" For more information, see lmf.cnrs.fr/Seminar/Muscho…

Next week, on Tuesday 18 January at 11am, there will be a lab seminar. It will be given by Anca Muscholl (<a href="/labriOfficial/">LaBRI</a>) on "Active learning for sound negotiations" For more information, see lmf.cnrs.fr/Seminar/Muscho…