coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Final Call: Automated Reasoning Workshop, April 2013, Dundee

From: Jónathan Heras <jonathan.heras AT unirioja.es>
To: MKM IG <projects-mkm-ig AT jacobs-university.de>, ssreflect <ssreflect AT msr-inria.inria.fr>, coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] 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:jonathan.heras AT unirioja.es
title:Postdoctoral researcher
tel;work:+34 941299461
tel;fax:+34 941299460
url:www.unirioja.es/cu/joheras
version:2.1
end:vcard

[Coq-Club] Final Call: Automated Reasoning Workshop, April 2013, Dundee, Jónathan Heras, 03/22/2013