Participants (16.03.98)
Abadi Martin (invited)
Aczel PETER
Altenkirch Thorsten
Barendregt Henk
Barras Bruno
Barthe Gilles
Berardi STEFANO
Berger Uli
Bertot Yves
Bezem Marc
Borghuis Tijn
Bove Ana
BRISSET Pascal
Burstall Rod
Compagnoni Adriana
Cooper Robin
Coppo MARIO
Coquand Catarina
Coscoy Yann
Courant JUDICAEL
Delahaye David
Despeyroux Joelle
DiGianatonio PIETRO
Dowek Gilles
Duprat JEAN
Filinski Andrzej
Filliatre Jean-Christophe
Fridlender Daniel
Gebellato Silvia
Geuvers Herman
Goguen Healfdene
Goubault-Larrecq Jean
Harrison John
Hedberg Michael
Hendriks Dimitri
Herbelin Hugo
Honsell Furio
Hughes Dominic
Indrika Mia
Ishtiaq Samin
Kammueller Florian
Kinnunen Matti
Leiss Hans
Leleu Pierre
Liquori Luigi
Loiseleur Patrick
Luo Zhaohui
Luther Marko
Maenpaa Petri
Maietti MARIA EMILIA
Martin-L"of Per (invited)
Marz Michael
Matthes Ralph
Mayero Micaela
McBride Conor
McKinna James
Miculan Marino
Naraschewski Wolfgang
Negri Sara
Nordstrom Bengt
Oostdijk Martijn
Parigot Michel
Paulin-Mohring Christine
Persson Henrik
Pfenning Frank
Pitcher Corin
Plato von Jan
Pollack Randy
Pons Olivier
Pottier LOIC
Ranta Aarne
Reus Bernhard
Ruokolainen Juha
Sambin Giovanni
Scagnetto Ivan
Setzer Anton
Smith Jan
Soloviev Sergei
Staalmarck Gunnar (invited)
Strecker Martin
Streicher Thomas
Telford Alastair
Thery Laurent
Valentini Silvio
Visser Joost
Wenzel Markus
Werner Benjamin
Wiedijk Freek
Yu Shenwei
Back to home-page TYPES'98
Bernhard Reus
(24.0.98)