[om-a] ADG '2000 update

Dongming Wang Dongming.Wang at imag.fr
Thu Jun 8 18:31:25 CEST 2000


  3rd International Workshop on Automated Deduction in Geometry
          (Zurich, Switzerland, September 25-27, 2000)

* Deadline for extended abstract submission: June 20, 2000

* Invited Speakers: Juergen Bokowski (TU Darmstadt, Germany)
                    Christoph M. Hoffmann (Purdue University, USA)

* Open Session Speaker: Wen-tsun Wu (Academia Sinica, China)

* Further information: http://calfor.lip6.fr/~wang/ADG2000/


--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems



More information about the Om-announce mailing list