coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP: Geometric Constraints and Reasoning, in SAC 2012, Trento, Italy

From: Dominique Michelucci <Dominique.Michelucci AT u-bourgogne.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] CFP: Geometric Constraints and Reasoning, in SAC 2012, Trento, Italy
Date: Fri, 13 May 2011 16:17:50 +0200

***** Apologies for multiple receptions ******

CFP: Geometric Constraints and Reasoning

is a Technical track of SAC2012
the 27th ACM Symposium on Applied Computing:
25 - 29 March 2012
The Microsoft Research, University of Trento
Trento, Italy.

http://www.lsi.upc.edu/~robert/gcr2012/gcr2012.html
http://oldwww.acm.org/conferences/sac/sac2012/

31 August 2011 : Paper Submission
12 October 2011 : Author Notification
2 November 2011 : Camera-ready copy of accepted papers
25-29 March 2012: Track Sessions

[Coq-Club] CFP: Geometric Constraints and Reasoning, in SAC 2012, Trento, Italy, Dominique Michelucci