The Coq mailing list

[Julien Narboux <jnarboux AT narboux.fr>]

Dear friends of ADG,

due to numerous requests
and in accordance with an old workshopian tradition
the deadline for the

  Eighth International Workshop
                   on
 Automated Deduction in Geometry
            July 22-24 2010
https://lsiit.u-strasbg.fr/adg2010
http://www.easychair.org/conferences/?conf=adg2010

is postponed until
**************************
   MONDAY, MARCH 1 2010
**************************


Just let me recall that
ADG (Automated Deduction in Geometry) is a forum dedicated to the 
exchange of
ideas and views, to the presention of research results and progress, and to
the demonstration of software tools on the intersection between geometry and
automated deduction. ADG workshops are organized biennially. The 
previous ones
were held in Shanghaï (China) 2008, Pontevedra (Spain) 2006,
Gainesville (USA) 2004, Linz (Austria) 2002, Zurich (Switzerland) 2000,
Beijing (China) 1998, and Toulouse (France) 1996.

The eighth workshop ADG 2010 will be hosted in Munich, Germany, by the
Technical University Munich, from July 22 to July 24, 2010. The homepage for
this edition is at the URL
https://lsiit.u-strasbg.fr/adg2010

Contributions, in the form of extended abstracts or
full papers (no page limits), must be submitted before

*** MONDAY MARCH, 1 2010, ***

via EasyChair: http://www.easychair.org/conferences/?conf=adg2010
Notification of acceptance or rejection will be issued by March 29,
2010.

Thanks for your interest

P. Schreck