Acronym

Status Quo: We started to use LMF, LMFlabmf.frlabmf.ens-paris-saclay.fr* Inconvenients:Division — French spelling MF vs FMLaboratoire front: “Laboratoire LFM”, redundancy, alphabetical lists* Wishone acronym for speech & web, neutral / international, better identifiable in listings* DefaultKeep status quo OR No acronym: use Laboratoire Methodes Formelles / Formal Methods Lab →Read more

Hello world!

Welcome to WordPress. This is your first post. Edit or delete it, then start writing! →Read more