The Coq mailing list

[Marie-Renee FLEURY-DONNADIEU <mrd AT lumimath.univ-mrs.fr>]

Bonjour,

Pouvez vous faire l'annonce suivante. Merci d'avance

Marie-Renée

-------------------------------------------------------------------
Marie-Renée FLEURY-DONNADIEU

CNRS - IML, équipe LDP          Département de Mathématiques
163 avenue de Luminy            Faculté des Sciences de Luminy
Case 907                        Case 901
13288 Marseille Cedex 9         13288 Marseille Cedex 9

tél: 04 91 26 96 38             tel : 04 91 82 90 80 (secretariat)
fax: 04 91 26 96 55             fax: 04 91 82 93 56
--------------------------------------------------------------------


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

                             APPEL À PARTICIPER

                     GÉOMÉTRIE DU CALCUL 2006 (Geocal06)
                 Lundi 30 janvier - vendredi 3 mars CIRM(1),
                          Luminy, Marseille, France

                     INFORMATION ET PRÉ-INSCRIPTION SUR
                      http://iml.univ-mrs.fr/geocal06/

                      LA PRÉ-INSCRIPTION SERA CLOSE LE
                          dimanche 30 octobre 2005




Cette session résidentielle est organisée par le projet GEOCAL(2) et
soutenue par (entre autre) l'IML, la FRUMAM et l'école doctorale 184
(Mathématiques et informatique de Marseille). Le propos est de réunir
les chercheurs intéressés par plusieurs sujets d'informatique
théorique : logique, réalisabilité, complexité algorithmique,
sémantique des langages de programmation, méthodes algébriques pour la
concurrence, systèmes de transition probabilistes, modélisation des
réseaux biologiques...

La session consistera en une succession de rencontres:

- 4 cours d'écoles d'hiver sur les 2 premières semaines s'adressant à
 des étudiants doctorants et post-doctorants mais aussi à des
 chercheurs confirmés ;

- 9 ateliers thématiques sur les 3 dernières semaines.

On trouvera une description détaillée ainsi qu'un programme provisoire
et un formulaire de pré-inscription sur la page web de Geocal06(3).

Si vous souhaitez participer à l'une ou plusieurs de ces rencontres,
merci de remplir le formulaire avant le 30 octobre.

Thomas Ehrhard et Laurent Regnier
Institut de Mathématiques de Luminy

------------------------------------------
(1) http://www.cirm.univ-mrs.fr/
(2) http://iml.univ-mrs.fr/~ehrhard/geocal/
(3) http://iml.univ-mrs.fr/geocal06/