[TYPES/announce] 20th Automated Reasoning Workshop, April 2013, Dundee

Jonathan Heras jonathanheras at computing.dundee.ac.uk
Thu Mar 14 07:41:48 EDT 2013


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


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.




More information about the Types-announce mailing list