Areas

Formal Methods

Adriano Peron

Tools and Applications

Alessandro Cimatti

Automated Planning

Alfonso Gerevini

Discrete and Continuous Hybrid Systems

Tiziano Villa