[TYPES/announce] Final Call: Automated Reasoning Workshop, April 2013, Dundee

[jonathanheras]

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130322/e991568f/attachment-0001.html>