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
[text]
|