Programming Language Seminar "Verification of Quantitative Information Flow" on April 27th

Programming Language Seminar
April 27th, 2011 15:30-17:00, IB blg. Room#562

Speaker: Tachio Terauchi (Grad. School of Info. Sci., Nagoya Univerisity)
Titile: Verification of quantitative information flow

Contact: Shoji Yuen, yuen-at-is.nagoya-u.ac.jp

Dates：February 10th, 2010 - 11th