Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2019 (University of Middlesex, 2nd-3rd September 2019)

The Twenty-sixth Workshop on Automated Reasoning (ARW 2019) will be organised by Florian Kammueller and Alexander Bolotov at the University of Middlesex on 2-3 September 2019.

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

Workshop Information

  • Call for papers and participation

last modified on Saturday, 06-Apr-2019 21:02:43 BST