Inria / Raweb 2004
Project-Team: CALLIGRAMME

Search in Activity Report, year 2004:
HELP

INDEX

Project-Team : calligramme

Section: Other Grants and Activities


National Actions

Action Concertée Incitative (ACI) Demonat

Calligramme is involved in the ACI Demonat, in section ``Nouvelles interfaces des mathématiques'', together with the ``Logique'' group of ``Université de Savoie'' and the ``TALaNa'' team of ``Université Paris 7''. The project concerns the parsing and the checking of mathematical proofs written in natural language.

Action Concertée Incitative (ACI) CRISS

Calligramme is involved in the ACI CRISS, in section ``Sécurité informatique''. Its purpose, which can be read from the full title, is ``Contrôle de ressources et d'interfaces pour les systèmes synchrones''. It is headed by Roberto Amadio at the University of Marseilles, and the co-ordinator on Calligramme's side is Jean-Yves Marion.

Web page at http://www.cmi.univ-mrs.fr/~amadio/Criss/criss.html

Action Concertée Incitative (ACI) Géocal

This ``nouvelles interfaces des mathématiques'' ACI regroups several research teams in both mathematics and computer science and is concerned, as its name implies, with the application to computer science of techniques developed for modern geometry. It is headed by Thomas Ehrhard at the cnrs in Marseilles, and the co-ordinator on Calligramme's side is Jean-Yves Marion.

Web page at http://iml.univ-mrs.fr/~ehrhard/geocal/geocal.html

Action Spécifique ``Topologie Algébrique''

This is a smaller cnrs action whose full title is ``Topologie algébrique pour l'étude des structures de calcul et notamment de la concurrence''. It is headed by Éric Goubault at the Commissariat de l'Énergie Atomique, and many of its members are also part of the previous action. It ended in October.

Web page at http://www.di.ens.fr/~goubault/as.html

Réseau National des Technologies Logiciells (RNTL)

Calligramme, through Jean-Yves Marion, is a participant in the Ministry of Industry RNTL project Averroes.

Web page: http://www-verimag.imag.fr/AVERROES/


previous
next