********************************************************
 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

 *********************************************************************

 Reminder: early registration deadline is the 1st April 2013.

 ARW'13 full programme is now available here:
 http://www.computing.dundee.ac.uk/staff/katya/arw13/timetable.html



 *********************************************************************


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

Reply via email to