[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 |