Spring School on Logic and Verification

Tuesday, Mar 22, 2016

The Spring School on Logic and Verification (LOVE 2016) is going to take place in Vienna from April 15 to 17 – early registration ends on March 25. Details are available on our webpage.