Préambule: 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 CARI-ICTAC sur le thème des « Méthodes Formelles pour les systèmes informatiques », la conférence ICTAC (International Colloquium on the Theoretical Aspects of Computing) :http://cc.ee.ntu.edu.tw/~ictac2016/ et potentiellement avec un ou plusieurs des événements organisés par les structures suivantes d’Afrique du Sud: SAICSIT (South Africa Institute of Computer Scientists and Information Technologists):http://saicsit2016.org/, PRASA (Pattern Recognition Association of South Africa): http://www.prasa.org/, ORSSA (Operations Research Society of South Africa):http://www.orssa.org.za/wiki/).

Preamble: CARI2018 will take place at Stellenbosch University in South Africa under the responsability of Professor Bruce Watson. The conference will be associated with a CARI-ICTAC Research School on the « Formal Aspects of Computing », ICTAC (the International Colloquim on the Theoretical Aspects of Computing):http://cc.ee.ntu.edu.tw/~ictac2016/) and with possibly one or several of the events organized by the following South Africa organizations: SAICSIT (South Africa Institute of Computer Scientists and Information Technologists): http://saicsit2016.org/, PRASA (Pattern Recognition Association of South Africa):http://www.prasa.org/, ORSSA (Operations Research Society of South Africa) : http://www.orssa.org.za/wiki/

Les cours de l’Ecole de recherche CARI-ICTAC porteront sur les thèmes suivants / The research school will cover the following topics:

  • Algorithm Design and Correctness (Bruce Watson, FASTAR, Stellenbosch University)
  • Knowledge Representation and Reasoning (Arina Britz, Stellenbosch University)
  • Bounded Model Checking of Concurrent C Programs(Bernd Fischer, Stellenbosch University)
  • Interactive Theorem Proving and Program Development(Yves Bertot, Inria)
  • Verification of Security Protocols – from Confidentiality to Privacy (Stéphanie Delaune, CNRS, Rennes)

Le CARI se déroulera au Stias Wallenberg Centre: http://stias.ac.za/. Stellenbosch offre une gamme variée pour l’hébergement et la restauration des participants. /

The venue of the CARI 2018 is the Stias Wallenberg Centre:http://stias.ac.za/. Stellenbosch offers a wide range of different accommodation and restaurant options.

Les soumissions doivent présenter des travaux originaux de leurs auteurs qui ne sont par ailleurs pas en cours de soumissions auprès d’une autre conférence ou d’un journal. Nous incitons les auteurs à rédiger en anglais. La présentation orale et les transparents doivent être également en anglais. L’article doit être transmis au format PDF et suivre le format de la revue ARIMA (arima.inria.fr). La longueur maximale des soumissions est de 8 pages + 4 pages pour d’éventuelles annexes qui seront également publiées dans les actes.

Submitted papers have to be original works of their authors, which moreover are not simultaneously submitted to another conference or journal. We encourage authors to write their papers in English. As far as the oral presentation of accepted papers is concerned, the talk and the slides will be given in English. The submitted papers are in PDF and they should conform the template of ARIMA Journal (arima.inria.fr). The limit length of papers is 8 pages to which annexes of a maximal length of 4 pages can be added. These annexes will also be published in the proceedings.

Il n’y a pas de frais d’inscription à la conférence. Qui plus est, Le CARI pourra apporter un soutien à certains auteurs pour leur permettre de venir y présenter leur communication sous les conditions suivantes:

  • Seuls les personnes en poste dans une institution en Afrique au moment de la conférence est éligible à un soutien pour participer au CARI.
  • Avant de solliciter une prise en charge par le Cari, un auteur fournira un document de son institution précisant la partie de la dépense (éventuellement nulle) qu’elle accepte de prendre en charge.
  • Un chercheur senior (c‘est-à-dire ni doctorant ni post-doctorant) pourra au mieux se faire financer son voyage ou ses frais de séjour sur le budget du CARI, mais pas les deux.

There is no inscription fees to the conference. Moreover CARI will provide support to some authors to enable them to present their accepted paper on the following conditions:

  • Only members from African institutions, at the time of the conference, are eligible from a financial support.
  • Before seeking a support from the CARI an African author should provide a document from his/her institution stating which part of the expense (eventually none) it agrees to take care of.
  • A senior researcher (i.e., neither Doctorate or Post-doc.) is not allowed to ask CARI to support both his travel expenses and her sejourn expenses (at least one of these should be supported by other means).

Time remaining to submit / Temps restant pour soumettre

Jour(s)

:

Heure(s)

:

Minute(s)

:

Seconde(s)


– Calcul scientifique et parallélisme / – Scientific computation and parallelism
http://www.cari-info.org/parallelisme/

– Découverte de Connaissances et Intelligence Artificielle/ – Knowledge Discovery and Artificial Intelligence (KoDAI)
http://www.cari-info.org/knowledge/

– Images, signaux, réseaux et systèmes à grande échelle / – Images, signal, networks and large scale systems
http://www.cari-info.org/network/

– Sciences Numériques pour la biologie et systèmes complexes / – Numerical sciences for biology and complex systems:
http://www.cari-info.org/biology/

– Méhodes formelles pour les systèmes informatiques/ – Formal methods for computing systems
http://www.cari-info.org/methods/