2010 Alan T. Waterman Award Subhash Khot (NYU) - complexidade computacional http://www.nsf.gov/news/news_summ.jsp?cntn_id=116554&WT.mc_id=USNSF_51&WT.mc_ev=click
2009 ACM A.M. Turing Award Charles P. Thacker (Microsoft) http://www.acm.org/press-room/news-releases/2010/turing-award-09 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
