Gastforscher und Kooperationspartner
Don Batory | (University of Texas at Austin) |
Michel Bidoit | (Ecole Normale Supérieure de Cachan) |
Andrea Corradini | (Università di Pisa) |
John N. Crossley | (Monash University Melbourne) |
Jose Fiadeiro | (University of Lisbon) |
Kokichi Futatsugi | (Japan OInstitute of Science and Technology, JAIST) |
Armando Haeberer | (University of Lisbon and Oblog Software SA) |
Jose Meseguer | (Stanford Research Institute, SRI, Palo Alto) |
Ugo Montanari | (Università di Pisa) |
Ataru Nakagawa | (Software Research Associates, Tokyo) |
Rocco De Nicola | (Università degli Studi di Firenze) |
Iman Poernomo | (Monash University Melbourne) |
Toshiki Sakabe | (Nagoya University) |
Carolyn Talcott | (Stanford University) |
Michel Wermelinger | (New University of Lisbon) |
Mingsheng Ying | (Tsinghua University, Beijing) |