coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 20th Automated Reasoning Workshop, April 2013, Dundee

From: Jonathan Heras <jonathan.heras AT unirioja.es>
To: MKM IG <projects-mkm-ig AT jacobs-university.de>, <coq-club AT inria.fr>, <ssreflect AT msr-inria.inria.fr>
Subject: [Coq-Club] 20th Automated Reasoning Workshop, April 2013, Dundee
Date: Thu, 14 Mar 2013 11:42:36 +0000

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

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.

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

[Coq-Club] 20th Automated Reasoning Workshop, April 2013, Dundee, Jonathan Heras, 03/14/2013