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
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)
Transversal Territory. Presentazione Workshop
