Subject: Ssreflect Users Discussion List
List archive
- From: Jónathan Heras <>
- To: MKM IG <>, ssreflect <>, coq-club <>
- Subject: Final Call: Automated Reasoning Workshop, April 2013, Dundee
- Date: Fri, 22 Mar 2013 11:37:52 +0100
********************************************************
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
*********************************************************************
begin:vcard fn;quoted-printable:J=C3=B3nathan Heras Vicente n;quoted-printable:Heras Vicente;J=C3=B3nathan org:University of Dundee;School of Computing email;internet: title:Postdoctoral researcher tel;work:+34 941299461 tel;fax:+34 941299460 url:www.unirioja.es/cu/joheras version:2.1 end:vcard
- Final Call: Automated Reasoning Workshop, April 2013, Dundee, Jónathan Heras, 03/22/2013
Archive powered by MHonArc 2.6.18.