Network Member Showcases

Showcase

School of Informatics

at University of Edinburgh (United Kindom)

Showcase
Showcase

Neural Learning and Intelligent Systems Group

at Institute of Neuroinformatics UZH/ETH Zurich (Switzerland)

Showcase
Showcase

Automated Reasoning and Formal Methods Group 

at Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Technical University in Prague (CTU) (Czech Republic)

Showcase
Showcase

The Hessian Center for AI

(Formerly known as AI.DA) at Technical University Darmstadt (Germany)

Showcase
Showcase

The TAO/TAU Team

at INRIA, CNRS and Université Paris-Sud in Orsay (France)

Showcase