Le GDR en quelques mots
Le GDR ALP s'est transformé en le GDR Informatique Mathématique (GDR IM) à partir du 1er janvier 2006. L'informatique mathématique (IM) étudie et analyse de nouvelles problématiques issues des grandes questions informatiques, qui ont toutes un point commun : elles sont mathématisables, à l'aide d'outils de mathématiques.
Journées CMF 2010
Les journées du groupe de travail Complexité et Modèles Finis du GDR IM
se tiendront cette année à Marseille, les 25 et 26 mai.
Ces rencontres veulent permettre à tout chercheur -- confirmé comme
doctorant -- de présenter ses travaux en complexité, en théorie des modèles finis ou
dans un de leurs nombreux champs d'application : complexité descriptive, bases de
données, satisfaction de contraintes, vérification de programmes, jeux formels, modèles de
calculs...
Math-Info 2010
Le mois thématique Math-Info 2010, Towards new interactions between mathematics and computer science, aura lieu au CIRM du 1er février au 5 mars 2010.
Plus de détails sur le site
Géométrie Algorithmique 2010
Les Journées de Géométrie Algorithmique 2010 se tiendront du 8 au 12
mars 2010 au CIRM (près de Marseille).
Plus d'informations sur http://www.di.ens.fr/~colin/jga
Les orateurs invités seront
Francis Clarke (Univ. Lyon 1), Albert Cohen
(Univ. Paris 6), Claire Mathieu (Brown Univ.), Jonathan R. Shewchuk (Univ.
California at Berkeley) et Alexander Zvonkin (Univ. Bordeaux 1).
Journées Nationales d'Informatique Mathématique 2010
Les Journées Nationales d'Informatique Mathématique auront lieu les 21
et 22 janvier 2010 à l'Université Paris 6 (Jussieu, Amphi Durand).
Les invités sont Günter Rote (Berlin) et Xuding Zhu (Taiwan). Le programme est maintenant disponible (en savoir plus...)
EJCIM 2010
l'Ecole Jeunes Chercheurs en Informatique Mathématique 2010 se tiendra du 29 mars au 2 avril 2010 à Chambéry : le site web
