Dans le cadre de la conférence internationale « The 36th Annual International Computer Software and Applications, COMPSAC 2012 (www.compsac.org), 16-20 July 2012, Izmir, Turkey », le laboratoire de recherche LaTICE (www.utic.rnu.tn) de l’ESSTT - Université de Tunis, organise le Workshop MVDA 2012 (The 1st IEEE International Workshop on Modeling and Verifying Distributed Applications).