Automated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016)

TitleAutomated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016)
Event date19 to end of 20 May 2016
LocationLiverpool