Sections

Place Stanislas

Présentation
Sponsors
Dates importantes
Programme
Inscription
Venir au LORIA
Organisateurs
Participants
Hébergement

Modèles de calcul, Modèles finis et Complexité CMF'2007

21-22 Mai 2007
LORIA/INRIA
615 Rue du Jardin Botanique, 54602 Villers-Lès-Nancy



Présentation

Les rencontres du groupe de travail "Modèles de calcul, Modèles finis et Complexité" ont pour but de permettre à tout chercheur qui le souhaite de présenter ses travaux en complexité, en théorie des modèles finis ou dans un de leurs nombreux champs d'application comme : les bases de données, la vérification de programmes, la satisfaction de contraintes, les jeux formels, les modèles de calculs, etc...

Le public visé concerne les chercheurs confirmés, comme les jeunes chercheurs (étudiants en thèse). Des sessions d'exposés de jeunes chercheurs seront organisées.

Ces rencontres correspondent au groupe de travail "Modèles de calcul, modèles finis et complexité" du GDR Informatique Mathématique.

Sponsors

Les journées peuvent avoir lieu grâce au soutien des organismes suivants:

Dates Importantes:

  • Date limite d'inscription: 15 mai 2007.
  • Début: 21 mai 2007.
  • Fin: 22 mai 2007.

Editions précédentes:

Les éditions précédentes ont eu lieu en 1995 à Paris XI (organisateur : M. Santha), en 1996 à l'IUT de Fontainebleau (P. Cegielski), en 1997 à Paris II (M. de Rougemont), en 1998 à l'ENS de Lyon (P. Koiran), en 1999 à Paris VI (I. Guessarian), en 2000 à Paris XII (A. Durand), en 2001 à Paris II (M. Hermann), en 2002 à Arcachon (D. Janin), en 2003 à Paris-Dauphine (C. Bazgan et A. Durand) et en 2004 à Lausanne (J. Duparc), en 2005 à Fontainebleau (A. Durand), en 2006 à Clermont-Ferrand (A. Esbelin)

Proposition d'exposé:

Envoyer un email à bournez@loria.fr. Les titres et résumés des exposés peuvent être enregistrés en ligne directement sur ce site http://www.up2.fr/cmf/exposes/ en indiquant login=cmf et
Password=cmfcmf.

Proposition d'exposé "Jeune chercheur" :

Nous organiserons aussi des sessions "Jeunes Chercheurs" (étudiant(e) en thèse, ou jeune docteur). Les propositions de travaux en cours sont aussi les bienvenues dans ce cadre.

Même procédure.

Inscription:

Tous les participants sont invités à se faire connaître pour des raisons d'organisation. Utiliser ce formulaire en .doc ou .pdf a envoyer à Colloques@loria.fr.

Programme:

Discussions en cours.

Comité scientifique:

  • Olivier Bournez
  • Didier Galmiche

Comité d'organisation :

  • Olivier Bournez
  • Anne-Lise Charbonnier
  • Didier Galmiche
  • Emmanuel Hainry
  • Constance Thomas