MOVEP12

School for young researchers about Modelling and Verifying Parallel processes (MOVEP). Further details can be found here.