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
|