Worshop PSC: Proof, Structure, and Computation (co-located with LICS), 17-18 July

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/

Posted in Events, News