Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2018 (University of Cambridge, 12th-13th April 2018)

The Twenty-fifth Workshop on Automated Reasoning (ARW 2018) will be organised by Mateja Jamnik at the University of Cambridge on 12-13 April 2018.

Complete information about the workshop is also available from the ARW 2018 web site

Workshop Information


last modified on Wednesday, 07-Feb-2018 09:58:27 GMT