From: ocaprott@risc.uni-linz.ac.at (Olga Caprotti)
Subject: AAGR '92 - Program and Registration
Keywords: Computer-Algebra, Geometry, Reasoning
Organization: RISC, J.K. University of Linz, Austria
Date: Thu, 23 Jul 1992 09:01:28 GMT



                        AAGR '92

        Algebraic Approaches to Geometric Reasoning

                 Call for Participation

               (Program and Registration)


                 August 17 -- 19, 1992

                  Castle of Weinberg
                    Linz,  Austria
 


Workshop Organizers
-------------------
  Hoon Hong,   Dongming Wang,  Franz Winkler

  Research Institute for Symbolic Computation
  Johannes Kepler University
  Linz, Austria A-4040

  Tel: (Austria) 7236 3231
  Fax: (Austria) 7236 33 38 30
  E-mail: hhong@risc.uni-linz.ac.at


Invited Speakers
----------------
  Chanderjit Bajaj
  Bruno Buchberger
  George Collins
  Dana Scott
  Wen-Tsuen Wu


Workshop Program
----------------


                Monday, August 17, 1992

08:45 -- 09:00  Welcome

09:00 -- 10:00  Invited talk: Geometric Applications of Groebner Basis
                by B. Buchberger (RISC-Linz Austria)

10:00 -- 10:30  Specification of Geometrical Constraints
                by E. Monfroy (ECRC Germany)

10:30 -- 10:45  Coffee Break

10:45 -- 11:15  Applying Linear Quantifier Elimination
                by  R. Loos (Tuebingen Germany) 
                and V. Weispfenning (Passau Germany)

11:15 -- 11:45  Quantifier Elimination with Quadratic Constraint
                by H. Hong (RISC-Linz Austria)

11:45 -- 14:00  Lunch

14:00 -- 14:30  On Non-commutative Geometry
                by J. Andre (Saarbruecken Germany)

14:30 -- 15:00  Category of Geometric Spaces (Some computational aspects)
                by J. Pfalzgraf (RISC-Linz Austria)

15:00 -- 15:30  A Software Environment for Algebraic Theorem Proving 
                in Elementary Geometry
                by M. Alberti and B. Lammoglia and M. Torelli (Milano Italy)

15:30 -- 16:00  Coffee Break

16:00 -- 16:30  A Tableaux-based Engine for Geometrical Reasoning
                by P. Balbiani and L. F. Cerro (Toulouse France)

16:30 -- 17:00  Symbolic Incidence Geometry
                by A. Beutelspacher and J. Ueberberg (Giessen Germany)

17:00 -- 17:30  Symbolic Incidence Geometry and Finite Linear Spaces
                by J. Ueberberg (Gissen Germany)




                Tuesday, August 18, 1992


09:00 -- 10:00  Invited talk: Geometry Theorems via CAD Quantifier Elimination
                by G. Collins (RISC-Linz Austria)

10:00 -- 10:30  Application of Cylindrical Algebraic Decomposition 
                based Quantifier Elimination
                by J. R. Johnson (Drexel USA)

10:30 -- 10:45  Coffee Break

10:45 -- 11:15  Automatic Theorem Proving in Polytope Theory
                by G. Meisinger (Passau Germany)

11:15 -- 11:45  An Extension of a Procedure to Prove Statements 
                in Differential Geometry
                by G. C. Ferro (Catania Italy)

11:45 -- 14:00  Lunch

14:00 -- 15:00  Invited talk: B-spline Approximations of Algebraic Surfaces 
                by C. Bajaj (Purdue USA)

15:00 -- 15:30  Algebraic Computing for Geometric Multi-interactions
                by S. Kun and B. Faltings, E. Baechler (Lausanne Switzerland)

15:30 -- 16:00  Coffee Break

16:00 -- 16:30  Algorithms for Algebraic Curves and Surfaces
                by F. Winkler (RISC-Linz Austria)

16:30 -- 17:00  Computing View Graphs of Algebraic Surfaces
                by J. Rieger (Hamburg Germany)

17:00 -- 17:30  Aspect Graphs of Bodies of Revolution with Algorithms 
                of Real Algebraic Geometry
                by  M. F. Roy (Rennes France) 
                and T. V. Effelterre (Leuven Belgium)




                Wednesday, August 19, 1992


09:00 -- 10:00  Invited talk: Characteristic Set Method and its Application
                by W. T. Wu (Beijing China)

10:00 -- 10:30  Automated Theorem Proving of the Local Theory of Surfaces
                by Z. Li (RISC-Linz Austria)

10:30 -- 10:45  Coffee Break

10:45 -- 11:15  Generalized Euclidean Algorithm for Geometry Theorem Proving
                by M. Kalkbrener (Cornell USA)

11:15 -- 11:45  An Elimination Procedure for Mechanical Theorem Proving 
                in Geometries
                by D. Wang (RISC-Linz Austria)

11:45 -- 14:00  Lunch

14:00 -- 15:00  Invited talk: Using Mathematica to Teach Projective Geometry
                by D. Scott (RISC-Linz Austria)

15:00 -- 15:30  Mechanical Theorem Proving in Projective Geometry
                by J. Richter-Gebert (Djursholm Sweden)

15:30 -- 16:00  Coffee Break

16:00 -- 16:30  On Relations between Jacobians and Minimal Polynomials
                by J. Yu (Notre Dame USA)

16:30 -- 17:00  Implicitization of Hypersurfaces and Curves by the
                Primbasissatz and FGLM algorithm
                by S. Licciardi and T. Mora  (Genova Italy)

End of Program



Location
--------
AAGR-92 will be held at Schloss (castle) Weinberg near Linz in Austria.
Rooms and meals will also be provided at the castle.

Schloss Weinberg is an old castle (with documents mentioning it date back
to 1305) in the "Muehlviertel", the hilly region north of Linz.
It has been completely renovated in the 80s, and since 1988 it has
been used as a center for conferences, workshops etc.
In a quiet and pleasant atmosphere visitors can both concentrate on
their professional exchange and relax in their spare time.

Address:   A-4292 Kefermarkt, Weinberg 1
Telephone: (0 79 47) 65 45




Transportation
--------------
Schloss Weinberg is located on a hill at Kefermarkt near Linz.
It is recommended that you plan to arrive on August 16 afternoon.

Schloss Weinberg <--> Kefermarkt train station:

  Schloss Weinberg is about 5 minute driving distance from
  Kefermarkt train station.  There will be a free shuttle 
  service on the following times:

   From Kefermarkt train station to Schloss Weinberg

      August 16   15:00  17:30  21:00
      August 17   08:10

   From Schloss Weinberg to Kefermarkt train station

      August 19   18:00



Kefermarkt train station <--> Linz train station

   Kefermarkt is about 30 minutes driving distance from Linz.
   But we recommend that you use a train.  One way train ticket 
   costs 72 AS.  Here is the daily  train schedule. 

   Linz  --> Kefermarkt                   Kefermarkt --> Linz

   Depart      Arrive                    Depart        Arrive

    5.57        6.53                      5.14          6.14
    7.01        8.03                      6.14          7.09
    7.57        8.55                      7.41          8.35
    9.57       10.54                      8.55          9.50
   11.57       12.53                     10.14         11.08
   13.58       14.53                     12.09         13.08
   16.31       17.29                     14.14         15.08
   17.57       18.53                     16.12         17.07
   19.52       20.53                     18.14         19.08
   21.02       22.59                     20.09         21.03


Linz train station <--> Linz airport

   There is a shuttle service by bus about 1/2 hour after a plain arrives.
   It costs 50 AS. 

   There is also a regular shuttle service from the train station 
   to the airport. 

   A taxi costs about 250 AS.



Special Events
--------------
On August 20 (Thursday) morning, there will be a tour
to the Research Institute for Symbolic Computation
located at Schloss Hagenberg.




Cost
----
The cost per person is 2400 Austrian Schillings (AS) for
   accommodation and meals from August 16 dinner to August 20 breakfast,
   banquet, and
   facilities, administration, etc.

Approximately,   1 DM        =   7 AS
                 1 US Dollar =  11 AS
                 1 Franc     =   2 AS


Payment can be made either 
   by transferring the due amount to 
       Raiffeisen Kasse, Hagenberg-Pregarten, (BLZ 34151)
       Account name   : AAGR'92
       Account number : 390 000 253 20
or 
   by cash at the registration desk on arrival.

Registration desk will be open at
   16:00-18:00 16th 
   08:00-08:30 17th.




Registration
------------
Please fill in the registration form as soon as possible and 
send it to 

      AAGR '92 Registration
      c/o Hoon Hong
      Research Institute for Symbolic Computation
      Johannes Kepler University
      Linz, Austria (Europe) A-4040

If you have e-mail connection or fax facility, 
please send the filled registration form electronically to 

      E-mail:  hhong@risc.uni-linz.ac.at

      Fax:    (Austria) 7236 3338 30
              From most countries, (Austria) is "0043".

This information is urgently needed for making
reservation for rooms.



------------------------------------------------

            AAGR '92 Registration

    Yes I will participate in the workshop.

First Name     :
Last  Name     :
Title          :      

Institution    :
Street         :
City           :
Country        :

Telephone      :
E-mail         :

Arrival time   :
Departure time :


----------------------------------------------



Newsgroups: sci.math.symbolic