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)
- Invited speakers
- Vincent Cheval, LORIA, France
- Jacek Banasiak, University of Pretoria, South Africa
- Oleg Smirnov, Square Kilometre Array, South Africa
- Faker Ben Belgacem, UTC, France
- Important Dates:
- CARI-ICTAC research school: 12 – 14 October
- CARI conference: 14 – 16 October
- Joint CARI-ICTAC excursion: 17 October
- Contact: cari2018@cari-info.org
4. Link to CARI Conference Registration
LAST NEWS CARI'2018
Le programme est à présent disponible à l’adresse suivante : http://www.cari-info.org/programme-cari/
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 .. ..
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
The new parallel and distributed platforms have considerably improved the performance of scientific applications, but at the same time, they have also greatly modified the algorithms and the way of programming. This topic contains all the tools developed for the implementation of scientific applications .. .
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
CARI 1992 -2017 … 25 ans de partenariat scientifique
Accéder aux contenus des colloques CARI 1992 -2016
Access to reports and proceedings of the previous CARI
Just ask about CARI 2018
ukuthandeka
