[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
********************************************************
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.
