1st Workshop on Probabilistic Reasoning and Formal Methods

Dec 11, 2017

IIT Kanpur

Co-located with FSTTCS 2017