méthodes formelles

12 juin 2024 | Colloquium du Loria : Kristin Yvonne Rozier

24/06/24
Le prochain colloquium du Loria aura lieu le lundi 24 juin à 13h30 dans l'amphithéâtre.  

23 janvier 2020 | [Retour sur] La signature de l’accord franco-allemand en cybersécurité

Le nouveau centre franco-allemand en cybersécurité a été officiellement lancé au centre de recherche en cybersécurité (CISPA) à Sarrebruck, lundi 20 janvier 2020. Cette signature renforce la collaboration entre les chercheurs du CISPA et du Laboratoire Lorrain de recherche en informatique et ses... (Lire la suite)

28 janvier 2015 | Steve Kremer du LORIA obtient une ERC !

Steve Kremer, directeur de recherche Inria au sein de l'équipe Cassis du Loria a obtenu une ERC (European Research Council) Consolidator Grant, financement européen pour ses travaux portant sur la spécification et la vérification formelle de nouvelles propriétés de sécurité.
S'abonner à méthodes formelles