CARI's main and permanent


Le CARI 2018 sera organisé à Stellenbosch en Afrique du Sud sous la responsabilité du professeur Bruce Watson. Il sera couplé avec une école de recherche CIMPA sur le thème des “Méthodes Formelles pour les systèmes informatiques” / CARI 2018 will take place at Stellenbosch University in South Africa under the responsability of Professor Bruce Watson. The conference will be associated with a CIMPA-ICPAM Research School on the “Formal Aspects of Computing ......  The call for paper be will be launched in 2017 on the followed thematics:

CARI: A space to strengthen international cooperation with africain researchers for a better common future  ...
(don't ask where and when.. that's just a random picture of CARI events..)

Focal points contact:
Scientific Programme : Eric Badouel, Inria {]
Coordination: Laura Norcy, Inria, {]
Organisation CARI-2016: Nabil Gmati, {}
Website: Mokhtar Sellami, Labged, {}