African Conference on Research in Computer Science and Applied Mathematics, South Africa, Stellenbosch - 14th-16th October 2018

Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Afrique du Sud, Stellenbosch, 14-16 Octobre 2018

CARI2018:

Tutorials and Dates…

Tutorials

Interactive Theorem Proving and Program Development (Yves Bertot, Inria)
Verification of Security Protocols – from Confidentiality to Privacy (Vincent Cheval, Inria, Nancy)
Symbolic Execution for Java (Willem Visser, Stellenbosch University)
The Correctness-by-Construction Approach to Programming (Ina Schaefer, TU Braunschweig)
Introduction to Description Logics (Thomas Meyer, Univ. of Cape Town)

Important Dates:

Notification: 24 June
Early registration: 15 August
CARI-ICTAC research school: 12 – 14 October
CARI conference: 14 – 16 October
Joint CARI-ICTAC excursion: 17 October

Contact:

cari2018 email address cari2018@cari-info.org

Présentation Générale – CARI- Overview

Le CARI, Colloque Africain sur la Recherche en Informatique est le fruit d’une coopération internationale rassemblant universités africaines, centres de recherche français et organismes internationaux. Il est devenu un lieu privilégié de rencontre et d’échanges entre chercheurs et décideurs africains et internationaux de haut niveau dans les domaines de l’informatique et des mathématiques appliquées. Le programme scientifique, qui reflète la richesse et la diversité de la recherche menée sur le continent africain, met un accent particulier sur les travaux susceptibles de contribuer au développement technologique, à la connaissance de l’environnement et à la gestion des ressources naturelles.

Le CARI est co-organisé par l’Institut National de Recherche en Informatique et en Automatique (INRIA), l’Institut de Recherche pour le Développement (IRD), le Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), le Centre International des Mathématiques Pures et Appliquées (CIMPA), et l’Agence Universitaire de la Francophonie (AUF). Organisé tous les deux ans en Afrique, la prochaine édition de 2018 sera organisée en Afrique du Sud sous la responsabilité du Professeur Bruce Watson (Université de Stellenbosch).

CARI, the African Conference on Research in Computer Science, is the outcome of an international cooperation involving African universities, French research institutes, and international organizations. Occurring once every two years since its first edition held in 1992 (Yaounde, Cameroon), CARI is more than a scientific gathering, but a dynamic environment for cooperation that brings together African researchers, and decision-makers in the fields of computer science and applied mathematics. The scientific program, which reflects the wealth and diversity of the research carried out on the African continent, places special emphasis on work that can contribute to technological development, environmental awareness and natural resource management.

The conference is organized by the Institut National de Recherche en Informatique et en Automatique (INRIA), the Institut de Recherche pour le Développement (IRD), the Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), the International Center for Pure and Applied Mathematics (CIMPA) and the Agence Universitaire de la Francophonie (AUF). The next conference in 2018 will be organised in South Africa under the responsability of Prof. Bruce Watson (Stellenbosch University).

Thématiques – CARI’2018 – Thematics



Sciences Numériques pour la biologie et systèmes complexes / Numerical sciences for biology and complex systems:

Mathematical modelling for biological problems are crutial to advance on research topics dealing with medical application . .. we welcome submission of original research papers in electro-encephalography, electrocardiography, epidemiology, cancer research .. ..

f

Méthodes formelles pour les systèmes informatiques/ Formal methods for computing systems

Software are more and more complex and requires formal methods to verify transaction-level, safety, correctness, security properties.. we welcome submission of original research papers in all aspects of formal methods and their applications



Images, signaux, réseaux et systèmes à grande échelle / Images, signal, networks and large scale systems

This track deals with large-scale distributed systems, wired or wireless networks, associated protocols as well as means for their quantitative and qualitative assessment. we welcome submission of original research papers focusing on theses topi

?

Calcul Scientifique et Parallélisme / Scientific computation and parallelism

Mathematical modelling for biological problems are crutial to advance on research topics dealing with medical applications . we welcome submission of original research papers in electro-encephalography, electrocardiography, epidemiology, cancer research ..



Découverte de Connaissances et Intelligence Artificielle/ Knowledge Discovery and Artificial Intelligence (KoDAI)

Extracting knowledge from the Big Data has become increasingly difficult; as a consequence, Knowledge Organization and Mining (KOM) methods and tools are more and more necessary. we welcome submission of original research papers in all aspects of knowledge engineering.

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