Overview of formal method tools from Microsoft Research
IdEP Seminar "Labor Market Integration, Local Conditions and Inequalities: Evidence from Refugees in Switzerland", Martina Viarengo
Noi vs. Loro: il cervello razzista
Effective Automated Software Verification: A Multilayered Approach
Gusto e cervello: proiezione gratuita del film «Chocolat» con commento e degustazione
Career Management Workshop: The English Cover Letter (part 1)
Regular Model Checking Revisited
Silvia Albesano e Davide Colussi, «Leo Spitzer, tra critica stilistica e linguistica: alcune traduzioni recenti» (Ciclo Dottorato ISI)
