HAL - INRIA :: [hal-00512377, version 1] FICS 2010

hal-00512377, version 1

FICS 2010

Dale Miller ¹, Arnaud Carayol ², Panos Rondogiannis ³, Lars Birkedal ⁴, Marek Czarnecki ⁵, Hervé Grall ^6, 7, Paul Levy ⁸, Matteo Mio ⁹, Keiko Nakata ¹⁰, Andrei Romashchenko ¹¹, Jan Schwinghammer ¹², Kristian Støvring ⁴, Tarmo Uustalu ¹⁰, Pawel Waszkiewicz ¹³

7th Workshop on Fixed Points in Computer Science, FICS 2010 (2010) 89

Résumé : 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 – 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 – Ecole des Mines de Nantes
7 : ASCOLA (INRIA - EMN)
INRIA – Ecole des Mines de 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

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

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="hal-00512377"><analytic>
<author><persName><forename>Dale</forename><surname>Miller</surname></persName>
<affiliation>
<orgName type="laboratory">LIX</orgName>
<orgName type="team">Laboratoire d'informatique de l'école polytechnique</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7161</orgName>
<orgName type="institution">Polytechnique - X</orgName>
</affiliation>
</author>
<author><persName><forename>Arnaud</forename><surname>Carayol</surname></persName>
<affiliation>
<orgName type="laboratory">LIGM</orgName>
<orgName type="team">Laboratoire d'Informatique Gaspard-Monge</orgName>
<country>FR</country>
<orgName type="institution">Université Paris Est Marne-la-Vallée</orgName>
<orgName type="institution">ESIEE</orgName>
<orgName type="institution">Ecole des Ponts ParisTech</orgName>
<orgName type="institution">Fédération de Recherche Bézout</orgName>
<orgName type="institution">CNRS : UMR8049</orgName>
</affiliation>
</author>
<author><persName><forename>Panos</forename><surname>Rondogiannis</surname></persName>
<affiliation>
<orgName type="laboratory">UNIV. ATHENS</orgName>
<orgName type="team">University of Athens, Greece</orgName>
<country>GR</country>
<orgName type="institution">University of Athens, Greece</orgName>
</affiliation>
</author>
<author><persName><forename>Lars</forename><surname>Birkedal</surname></persName>
<affiliation>
<orgName type="laboratory">IT</orgName>
<orgName type="team">IT University of Copenhagen</orgName>
<country>DK</country>
<orgName type="institution">IT University of Copenhagen</orgName>
</affiliation>
</author>
<author><persName><forename>Marek</forename><surname>Czarnecki</surname></persName>
<affiliation>
<orgName type="team">Department of Mathematics, Computer Science and Mechanics [Warsaw]</orgName>
<country>PL</country>
<orgName type="institution">University of Warsaw</orgName>
</affiliation>
</author>
<author><persName><forename>Hervé</forename><surname>Grall</surname></persName>
<affiliation>
<orgName type="laboratory">LINA</orgName>
<orgName type="team">Laboratoire d'Informatique de Nantes Atlantique</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6241</orgName>
<orgName type="institution">Université de Nantes</orgName>
<orgName type="institution">Ecole des Mines de Nantes</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA - EMN</orgName>
<orgName type="team">ASCOLA</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Ecole des Mines de Nantes</orgName>
</affiliation>
</author>
<author><persName><forename>Paul</forename><surname>Levy</surname></persName>
<affiliation>
<orgName type="team">School of Comnputer Science [Birmingham]</orgName>
<country>GB</country>
<orgName type="institution">University of Birmingham</orgName>
</affiliation>
</author>
<author><persName><forename>Matteo</forename><surname>Mio</surname></persName>
<affiliation>
<orgName type="laboratory">LFCS</orgName>
<orgName type="team">Laboratory for the Foundations of Computer Science [Edinburgh]</orgName>
<country>GB</country>
<orgName type="institution">University of Edinburgh</orgName>
</affiliation>
</author>
<author><persName><forename>Keiko</forename><surname>Nakata</surname></persName>
<affiliation>
<orgName type="team">Institute of Cybernetics [Tallinn]</orgName>
<country>EE</country>
<orgName type="institution">Tallinn Technical University</orgName>
</affiliation>
</author>
<author><persName><forename>Andrei</forename><surname>Romashchenko</surname></persName>
<affiliation>
<orgName type="laboratory">LIF</orgName>
<orgName type="team">Laboratoire d'informatique Fondamentale de Marseille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6166</orgName>
<orgName type="institution">Université de la Méditerranée - Aix-Marseille II</orgName>
<orgName type="institution">Université de Provence - Aix-Marseille I</orgName>
</affiliation>
</author>
<author><persName><forename>Jan</forename><surname>Schwinghammer</surname></persName>
<affiliation>
<orgName type="team">Programming Systems Lab [Saarland]</orgName>
<country>DE</country>
<orgName type="institution">Saarland University</orgName>
</affiliation>
</author>
<author><persName><forename>Kristian</forename><surname>Støvring</surname></persName>
<affiliation>
<orgName type="laboratory">IT</orgName>
<orgName type="team">IT University of Copenhagen</orgName>
<country>DK</country>
<orgName type="institution">IT University of Copenhagen</orgName>
</affiliation>
</author>
<author><persName><forename>Tarmo</forename><surname>Uustalu</surname></persName>
<affiliation>
<orgName type="team">Institute of Cybernetics [Tallinn]</orgName>
<country>EE</country>
<orgName type="institution">Tallinn Technical University</orgName>
</affiliation>
</author>
<author><persName><forename>Pawel</forename><surname>Waszkiewicz</surname></persName>
<affiliation>
<orgName type="team">Jagiellonian University</orgName>
<country>PL</country>
<orgName type="institution">Jagiellonian University</orgName>
</affiliation>
</author>
<title type="main" level="a">FICS 2010</title></analytic><monogr><title level="m" type="main">Fixed Points in Computer Science 2010</title><meeting>7th Workshop on Fixed Points in Computer Science, FICS 2010</meeting><imprint><pubPlace><settlement>Brno</settlement><country>Tchèque, République</country></pubPlace><biblScope type="publicationDate">2010-08-21</biblScope><biblScope type="pp">89</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00512377</idno><idno type="HALFile">http://hal.archives-ouvertes.fr/hal-00512377/PDF/proceedings.pdf</idno></biblStruct>
</listBibl>
</listBibl>