No dia 08/05/2015, das 14:00 as 16:00, teremos duas palestras. A primeira palestra - "A Formalisation of Nominal Specification" - será ministrada pela doutoranda Ana Cristina Rocha Oliveira e a segunda palestra - "Succint Data Structures and Applications" - será ministrada pelo doutorando Daniel Saad. Contamos com a presença de todos!