FICS 2010

Dale Miller (1) , Arnaud Carayol (2) , Panos Rondogiannis (3) , Lars Birkedal (4) , Marek Czarnecki (5) , Hervé Grall (6, 7) , Paul Levy (8) , Matteo Mio (9) , Keiko Nakata (10) , Andrei Romashchenko (11) , Jan Schwinghammer (12) , Kristian Støvring (4) , Tarmo Uustalu (10) , Pawel Waszkiewicz (13)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 LIGM - Laboratoire d'Informatique Gaspard-Monge
3 NKUA - National and Kapodistrian University of Athens
4 ITU - IT University of Copenhagen
5 MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw]
6 LINA - Laboratoire d'Informatique de Nantes Atlantique
7 ASCOLA - Aspect and composition languages
8 School of Computer Science [Birmingham]
9 LFCS - Laboratory for the Foundations of Computer Science [Edinburgh]
10 Institute of Cybernetics [Tallinn]
11 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
12 Programming Systems Lab [Saarland]
13 UJ - Uniwersytet Jagielloński w Krakowie = Jagiellonian University

Informal proceedings of the 7th workshop on Fixed Points in Computer Science (FICS 2010), held in Brno, 21-22 August 2010

Mots clés: Fixed points; mu-calculi

Domaines: Logique en informatique [cs.LO]; Langage de programmation [cs.PL]; Théorie et langage formel [cs.FL]; Informatique et théorie des jeux [cs.GT]

Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, et al.. FICS 2010. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89. ⟨hal-00512377⟩