The LIRIMA, International Laboratory for Computer Sciences and Applied Mathematics, was founded in November 2009 for a period of 5 years by Inria and seven other institutions in sub-Saharan Africa and Maghreb
A new agreement, for the renewal of the Inria International Lab « LIRIMA » was signed on January 16 2020, for a duration of 4 years.
LIRIMA head office, based at the University Gaston Berger in Saint-Louis (Senegal) during the period 2014-2018, is now set up at the University Tunis El Manar in Tunis.
|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|