Registration
Registration is now closed
The registration fee for students is £90.00, for anyone else it is £120.00.
ARW 2016 - Automated Reasoning Workshop 2016Bridging the Gap between Theory and Practice
Liverpool, UK, 19-20 May 2016
ARW 2016 - Automated Reasoning Workshop 2016Registration is now closed
The registration fee for students is £90.00, for anyone else it is £120.00.