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 Followers

60 Following

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

4 years ago

Congratulations to Marie Fortin, who will receive the Ackermann Award for her PhD thesis entitled "Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata". eacsl.org/ackermann-awar… #Awards #ComputerScience #Logic

Congratulations to Marie Fortin, who will receive the Ackermann Award for her PhD thesis entitled "Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata". eacsl.org/ackermann-awar… #Awards #ComputerScience #Logic