|
Modèles de calcul, Modèles finis et Complexité CMF 2007 (2006)| shared_uid | 312 |
|---|
| title | Modèles de calcul, Modèles finis et Complexité CMF 2007 |
|---|
| type | Journée |
|---|
| year | 2006 |
|---|
| start_date | 2007/05/21 |
|---|
| stop_date | 2007/05/22 |
|---|
| schedule | 09h-18h |
|---|
| active | no |
|---|
| website | http://cmfbd2007.loria.fr |
|---|
| practical_info | Rencontres du groupe de travail "Modèles de calcul, modèles finis et complexité" du GDR Informatique Mathématique |
|---|
| organisational_info | Date limite d’inscription : 15 mai 2007 |
|---|
| summary | 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. |
|---|
| responsibles | Bournez |
|---|
| |
|