[Ago. 1-13 2010] Marcelo visits Corina P. at NASA Ames: give a talk, integrate CORAL with S-JPF, and discuss future collaborations
[Jul. 26 2010] Matheus Souza is the new member of PAN.
[Jul. 16 2010] Announcement of undergraduate research CNPQ-IC fellowship offer.
[Jul. 9 2010] Andrei's SBLP submission on static checking of tainting attacks is accepted.
[Mar. 15 2010] Elton Alves awarded with INES/CNPQ MS fellowship
[Mar. 8 2010] Marcelo d'Amorim receives CNPQ productivity fellowship