Partenaires permanents – CARI – Permanent partners

Institut National de Recherche en Informatique et en Automatique

L’Inria est un organisme public français de recherche, dédié aux sciences et technologies du numérique.  C’est un établissement public à caractère scientifique et technologique, placé sous la double tutelle des Ministres français chargés de la Recherche et de l’Industrie.

Institut de Recherche pour le Développement FRANCE

L’Institut de recherche pour le développement (IRD) est un organisme français de recherche, original et unique dans le paysage européen de la recherche .  Il mène des travaux en Afrique, dans l’Océan Indien, en Amérique latine et dans le Pacifique.

LA RECHERCHE AGRONOMIQUE POUR LE DEVELOPPEMENT

Le Cirad est un centre de recherche français qui répond, avec les pays du Sud, aux enjeux internationaux de l’agriculture et du développement. Ses activités recouvrent les domaines des sciences agronomiques, vétérinaires, forestières et agroalimentaires.

AGENCE UNIVERSITAIRE DE LA FRANCOPHONIE

L’Agence universitaire de la Francophonie (AUF) est un réseau mondial d’établissements d’enseignement supérieur et de recherche. L’AUF a recentré en 2000 ses priorités afin de favoriser les synergies au sein de ses programmes et de faciliter leur déploiement à travers des régions du monde ayant des besoins très divers et spécifiques

Centre International de Mathématiques Pures et Appliquées (CIMPA)

CIMPA. Le Centre International de Mathématiques Pures et Appliquées est une association loi 1901 créée en 1978, qui est centre de l’Unesco. Son objectif est de promouvoir la coopération internationale au profit des pays en développement

 Key dates to remember… Importantes dates à retenir

 

The conference CARI’2018 will be associated with ICTAC (International Colloquium on the Theoretical Aspect of Computing) and will be preceded by a research school co-organized by CARI and ICTAC on formal methods.
– From  12 October to  14th October: CARI-ICTAC research school
– From 14th October to  16th October: CARI conference
– Wednesday 17th October: joint excursion CARI-ICTAC

  • Opening submission site: October 16, 2017
  • Submission deadline: January 15, 2018
  • Notification of acceptance: May 14, 2018
  • Final version: July 2, 2018

La conférence CARI’2018 sera associée à ICTAC (International Colloquium on the Theoretical Aspect of Computing) et sera prédée d’une école de recherche co-organisée par CARI et ICTAC sur les méthodes formelles.
– Du 12  au 14 octobre : école de recherche CARI-ICTAC
– Du 14 octobre au 16 octobre : conférence CARI
– le mercredi 17 octobre: excursion conjointe CARI-ICTAC

  • Ouverture du site de soumission : 16 octobre 2017
  • date limite de soumission : 15 janvier 2018
  • notification aux auteurs : 14 mai 2018
  • version finale : 2 juillet 2018

 

 

Just ask about CARI 2018

8 + 12 =