Préambule: Le CARI 2018 sera organisé à Stellenbosch en Afrique du Sud sous la responsabilité du professeur Bruce Watson, avec la collaboration du Prof. Arina Britz en charge de l’organisation locale. Il sera couplé avec une école de recherche CARI-ICTAC sur le thème des « Méthodes Formelles pour les systèmes informatiques », et la conférence ICTAC (International Colloquium on the Theoretical Aspects of Computing) :http://cc.ee.ntu.edu.tw/~ictac2016/

Preamble: CARI2018 will take place at Stellenbosch University in South Africa under the responsability of Professor Bruce Watson, with the collaboration of Prof. Arina Britz in charge of the local organisation. The conference will be associated with a CARI-ICTAC Research School on the « Formal Aspects of Computing », and ICTAC (the International Colloquim on the Theoretical Aspects of Computing):http://cc.ee.ntu.edu.tw/~ictac2016/

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

  • 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.

There is no conference registration fee for authors of accepted papers. 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).