Projet NO CoST
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types

Navigation

Visiteurs

Dernier ajout : mercredi 1er avril 2009. (français|English)

Articles de cette rubrique

Lars Kristiansen (Université d’Oslo)

du 8/3 au 18/3/2009. professeur invité de l’Université Paris 13


Amir Ben-Amram (The Academic College of Tel-Aviv Yaffo)

du 1/11 au 20/12/2008


Marco Gaboardi (Università di Torino)

du 7/5/2008 au 17/7/2008


Lars Kristiansen (University of Oslo)

from 6/2/2008 to 6/3/2008, invited Professor of Univ. Paris 13


Kazushige Terui (National Institute of Informatics, Tokyo)

du 1/9/2007 au 28/2/2008, chercheur associé au CNRS (poste rouge)


James Avery (Doctorant, University of Copenhagen)

du 09/07/2007 au 20/07/2007


Marco Gaboardi (Doctorant, università di Torino)

du 26/4/2007 au 2/6/2007


Martin Hofmann (LMU Munich)

du 12/02 au 03/03/2007, puis 3->8/09/2007.


Kazushige Terui (National Institute of Informatics, Tokyo)

du 8 au 23 septembre 2006


Brian Redmond (university of Ottawa)

21-23 Mai 2006


Harry Mairson (Brandeis University)

du 9 mai au 19 mai 2006


Paolo Coppola (Université d’Udine, Italie)

du 1er mai au 30 juin 2006 (deux mois), maître de conférences invité.


Ugo Dal Lago

Du 9 mai au 31 octobre 2006, post-doc de l’université Paris 13.