The First Summer School on Affective Computing and Social Signal Processing aims to provide a high quality forum for students and researchers active in ...
The summer school will give a broad overview of software verification techniques, addressing both bottom-up and top-down approaches with a strong focus on the ...