0.400 PREWETT Philip 0.400 BASIN David 0.400 MEO Rosa 0.400 UUSTALU Tarmo 0.200 MANTOVANI Giuseppe 0.200 BULLER Gerald 0.200 BENFORD Steve 0.200 FALCONE Rosario 0.200 RUSINOWITCH Michael 0.200 MACKRODT William 1 2 3 4 5 6 7

0.750 VERRI Alessandro 0.500 SANDINI Giulio 0.500 GIUNCHIGLIA Enrico 0.500 DELLEPIANE Silvana 0.500 MORASSO Pietro 0.500 TRUCCO Andrea 0.500 ANCONA Massimo 0.500 DE FLORIANI Leila 0.500 VERNAZZA Tullio 0.500 LAVAGETTO Fabio 1 2 3

DIPARTIMENTO DI INGEGNERIA BIOFISICA ED ELETTRONICA (DIBE) UNIVERSITA DEGLI STUDI DI GENOVA DIPARTIMENTO DI INFORMATICA E SCIENZE DELL'INFORMAZIONE (DISI) DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E TELEMATICA (DIST) 1

AVISS - Automated Verification of Infinite State Systems COLOGNET - Network of Excellence in Computational Logic DART - Dynamic Assembly, Reconfiguration and Type-checking ECOVISION - Artificial vision systems based on early cognitive cortical processing APPSEM-II - APPLIED SEMANTICS II 1