1st Workshop on Probabilistic Reasoning and Formal Methods
Dec 11, 2017
IIT Kanpur
A FSTTCS 2017 workshop
Dec 11, 2017
IIT Kanpur
A FSTTCS 2017 workshop
The workshop is organized as part of FSTTCS 2017. For information about the accommodation, visa, registration, please visit FSTTCS website.