A prova de Mestrado em Engenharia Informática, requerida por Maria Madalena Pacheco Gonçalves e subordinada ao tema "Guidelines for Analysis and Modelling of Reactive Software Systems", realiza-se no dia 14 de março de 2013 pelas 11h00, no anfiteatro A2 do Departamento de Informática.