Workshop on induction and coinduction, participants

Roberto Amadio, Université de Provence.

Gilles Barthe, INRIA (to be confirmed).

Albert Burroni, Centre de Mathématiques de Jussieu.

Robin Cockett, University of Calgary.

Solange Coupet, Université de Provence (to be confirmed).

Thomas Ehrhard, Institut de Mathématiques de Luminy.

Marie-Renée Fleury-Donnadieu, Institut de Mathématiques de Luminy.

Pierre Hyvernat, Institut de Mathématiques de Luminy.

Paul-André Mellies, PPS, Centre de Mathématiques de Jussieu.

Dale Miller, École polytechnique, Penn State University.

Marino Miculan, Department of Mathematics and Computer Science, Universitá di Udine.

Alberto Momigliano, University of Edinburgh.

Fernando Oliveira, Department of Mathematics of UFMG.

Craig Pastro, University of Calgary.

Fernando Pastawski, INRIA.

Elaine Pimentel, Universidade Federal de Minas Gerais.

Luigi Santocanale, Université de Provence.

Alwen Tiu, École polytechnique, Penn State University.

Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Technology.

Lionel Vaux, Institut de Mathématiques de Luminy, ENS Lyon.


Luigi Santocanale
Dernière modification : Wed Jun 16 15:20:35 CEST 2004