Le LIRIMA, Laboratoire International de Recherche en Informatique et Mathématiques Appliquées, a été créé en novembre 2009, pour une durée de 5 ans, par Inria et sept autres institutions de pays d’Afrique subsaharienne et du Maghreb.
Une nouvelle convention portant renouvellement de l’ Inria International Lab « LIRIMA » a été signée le 16 janvier 2020 pour une durée de 4 ans.
Le Siège du LIRIMA, hébergé à l’Université Gaston Berger de Saint-Louis au Sénégal pendant la période 2014-2018, est désormais implanté à l’Université Tunis El Manar à Tunis.
PROGRAMME
14h30-15h00 Ouverture de la Cérémonie
|
15h00-15h15 Présentation du LIRIMA
|
15h15-15h55 Conférence 1 : Méthodes Formelles pour la cyber sécurité
|
15h55-16h35 Conférence 2 : Logique et Argumentation
|
16h35-16h45 Cérémonie de Signature |
Quelques photos :