*********************************************************************
20th Automated Reasoning Workshop (ARW'13)
11-12 April 2013
School of Computing, University of Dundee, UK
www.computing.dundee.ac.uk/staff/katya/arw2013
FINAL CALL FOR PARTICIPATION
*********************************************************************
ARW'13 full programme is now published here:
http://www.computing.dundee.ac.uk/staff/katya/arw13/timetable.html
Reminder: early registration deadline is the 1st April 2013.
*********************************************************************
The University of Dundee is a Scottish Registered Charity, No. SC015096.
_______________________________________________
ProofGeneral mailing list
ProofGeneral@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral
