 |
 |
 |
 |
|
|
|
|
| HAL : hal-00512377, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno : Tchèque, République (2010) |
|
|
|
|
| FICS 2010 |
|
|
| Dale Miller 1Arnaud Carayol 2 |
|
|
| (21/08/2010) |
|
|
|
| Informal proceedings of the 7th workshop on Fixed Points in Computer Science (FICS 2010), held in Brno, 21-22 August 2010 |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique de l'école polytechnique (LIX) |
|
|
|
CNRS : UMR7161 – Polytechnique - X |
|
|
| 2 : | Laboratoire d'Informatique Gaspard-Monge (LIGM) |
|
|
|
Université Paris-Est Marne-la-Vallée (UPEMLV) – ESIEE – Ecole des Ponts ParisTech – Fédération de Recherche Bézout – CNRS : UMR8049 |
|
|
| 3 : | University of Athens, Greece (UNIV. ATHENS) |
|
|
|
University of Athens, Greece |
|
|
| 4 : | IT University of Copenhagen (IT) |
|
|
|
IT University of Copenhagen |
|
|
| 5 : | Department of Mathematics, Computer Science and Mechanics [Warsaw] |
|
|
|
University of Warsaw |
|
|
| 6 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
| 7 : | ASCOLA (INRIA - EMN) |
|
|
|
INRIA – École Nationale Supérieure des Mines - Nantes |
|
|
| 8 : | School of Comnputer Science [Birmingham] |
|
|
|
University of Birmingham |
|
|
| 9 : | Laboratory for the Foundations of Computer Science [Edinburgh] (LFCS) |
|
|
|
University of Edinburgh |
|
|
| 10 : | Institute of Cybernetics [Tallinn] |
|
|
|
Tallinn Technical University |
|
|
| 11 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 12 : | Programming Systems Lab [Saarland] |
|
|
|
Saarland University |
|
|
| 13 : | Jagiellonian University |
|
|
|
Jagiellonian University |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Informatique/Langage de programmation Informatique/Théorie et langage formel Informatique/Informatique et théorie des jeux |
|
|
| Fixed points – mu-calculi |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00512377, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00512377 | |
| oai:hal.archives-ouvertes.fr:hal-00512377 | |
| Contributeur : Luigi Santocanale | |
| Soumis le : Lundi 30 Août 2010, 11:32:01 | |
| Dernière modification le : Mardi 6 Décembre 2011, 11:05:09 | |
