Date:
Thursday, July 17, 2014
Ana Sokolova co-chairs “PSC: Proof, Structure, and Computation” workshop that is co-located with LICS conference, and is held in Vienna, Austria.
http://vsl2014.at/psc/