Invited Speakers


Amal Ahmed

Amal Ahmed

Northeastern University, USA
 Homepage
Ichiro Hasuo

Ichiro Hasuo

University of Tokyo, Japan
 Homepage
Gérard Huet

Gérard Huet

INRIA Paris Center, France
 Homepage
Tobias Nipkow

Tobias Nipkow

Technical University Munich, Germany
 Homepage