home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / symbolic / 2052 < prev    next >
Encoding:
Text File  |  1992-07-22  |  9.1 KB  |  343 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!nestroy!risc.uni-linz.ac.at!ocaprott
  3. From: ocaprott@risc.uni-linz.ac.at (Olga Caprotti)
  4. Subject: AAGR '92 - Program and Registration
  5. Message-ID: <1992Jul23.090128.1251@nestroy.wu-wien.ac.at>
  6. Keywords: Computer-Algebra, Geometry, Reasoning
  7. Sender: news@nestroy.wu-wien.ac.at (NetNews)
  8. Organization: RISC, J.K. University of Linz, Austria
  9. Date: Thu, 23 Jul 1992 09:01:28 GMT
  10. Lines: 331
  11.  
  12.  
  13.  
  14.                         AAGR '92
  15.  
  16.         Algebraic Approaches to Geometric Reasoning
  17.  
  18.                  Call for Participation
  19.  
  20.                (Program and Registration)
  21.  
  22.  
  23.                  August 17 -- 19, 1992
  24.  
  25.                   Castle of Weinberg
  26.                     Linz,  Austria
  27.  
  28.  
  29.  
  30. Workshop Organizers
  31. -------------------
  32.   Hoon Hong,   Dongming Wang,  Franz Winkler
  33.  
  34.   Research Institute for Symbolic Computation
  35.   Johannes Kepler University
  36.   Linz, Austria A-4040
  37.  
  38.   Tel: (Austria) 7236 3231
  39.   Fax: (Austria) 7236 33 38 30
  40.   E-mail: hhong@risc.uni-linz.ac.at
  41.  
  42.  
  43. Invited Speakers
  44. ----------------
  45.   Chanderjit Bajaj
  46.   Bruno Buchberger
  47.   George Collins
  48.   Dana Scott
  49.   Wen-Tsuen Wu
  50.  
  51.  
  52. Workshop Program
  53. ----------------
  54.  
  55.  
  56.                 Monday, August 17, 1992
  57.  
  58. 08:45 -- 09:00  Welcome
  59.  
  60. 09:00 -- 10:00  Invited talk: Geometric Applications of Groebner Basis
  61.                 by B. Buchberger (RISC-Linz Austria)
  62.  
  63. 10:00 -- 10:30  Specification of Geometrical Constraints
  64.                 by E. Monfroy (ECRC Germany)
  65.  
  66. 10:30 -- 10:45  Coffee Break
  67.  
  68. 10:45 -- 11:15  Applying Linear Quantifier Elimination
  69.                 by  R. Loos (Tuebingen Germany) 
  70.                 and V. Weispfenning (Passau Germany)
  71.  
  72. 11:15 -- 11:45  Quantifier Elimination with Quadratic Constraint
  73.                 by H. Hong (RISC-Linz Austria)
  74.  
  75. 11:45 -- 14:00  Lunch
  76.  
  77. 14:00 -- 14:30  On Non-commutative Geometry
  78.                 by J. Andre (Saarbruecken Germany)
  79.  
  80. 14:30 -- 15:00  Category of Geometric Spaces (Some computational aspects)
  81.                 by J. Pfalzgraf (RISC-Linz Austria)
  82.  
  83. 15:00 -- 15:30  A Software Environment for Algebraic Theorem Proving 
  84.                 in Elementary Geometry
  85.                 by M. Alberti and B. Lammoglia and M. Torelli (Milano Italy)
  86.  
  87. 15:30 -- 16:00  Coffee Break
  88.  
  89. 16:00 -- 16:30  A Tableaux-based Engine for Geometrical Reasoning
  90.                 by P. Balbiani and L. F. Cerro (Toulouse France)
  91.  
  92. 16:30 -- 17:00  Symbolic Incidence Geometry
  93.                 by A. Beutelspacher and J. Ueberberg (Giessen Germany)
  94.  
  95. 17:00 -- 17:30  Symbolic Incidence Geometry and Finite Linear Spaces
  96.                 by J. Ueberberg (Gissen Germany)
  97.  
  98.  
  99.  
  100.  
  101.                 Tuesday, August 18, 1992
  102.  
  103.  
  104. 09:00 -- 10:00  Invited talk: Geometry Theorems via CAD Quantifier Elimination
  105.                 by G. Collins (RISC-Linz Austria)
  106.  
  107. 10:00 -- 10:30  Application of Cylindrical Algebraic Decomposition 
  108.                 based Quantifier Elimination
  109.                 by J. R. Johnson (Drexel USA)
  110.  
  111. 10:30 -- 10:45  Coffee Break
  112.  
  113. 10:45 -- 11:15  Automatic Theorem Proving in Polytope Theory
  114.                 by G. Meisinger (Passau Germany)
  115.  
  116. 11:15 -- 11:45  An Extension of a Procedure to Prove Statements 
  117.                 in Differential Geometry
  118.                 by G. C. Ferro (Catania Italy)
  119.  
  120. 11:45 -- 14:00  Lunch
  121.  
  122. 14:00 -- 15:00  Invited talk: B-spline Approximations of Algebraic Surfaces 
  123.                 by C. Bajaj (Purdue USA)
  124.  
  125. 15:00 -- 15:30  Algebraic Computing for Geometric Multi-interactions
  126.                 by S. Kun and B. Faltings, E. Baechler (Lausanne Switzerland)
  127.  
  128. 15:30 -- 16:00  Coffee Break
  129.  
  130. 16:00 -- 16:30  Algorithms for Algebraic Curves and Surfaces
  131.                 by F. Winkler (RISC-Linz Austria)
  132.  
  133. 16:30 -- 17:00  Computing View Graphs of Algebraic Surfaces
  134.                 by J. Rieger (Hamburg Germany)
  135.  
  136. 17:00 -- 17:30  Aspect Graphs of Bodies of Revolution with Algorithms 
  137.                 of Real Algebraic Geometry
  138.                 by  M. F. Roy (Rennes France) 
  139.                 and T. V. Effelterre (Leuven Belgium)
  140.  
  141.  
  142.  
  143.  
  144.                 Wednesday, August 19, 1992
  145.  
  146.  
  147. 09:00 -- 10:00  Invited talk: Characteristic Set Method and its Application
  148.                 by W. T. Wu (Beijing China)
  149.  
  150. 10:00 -- 10:30  Automated Theorem Proving of the Local Theory of Surfaces
  151.                 by Z. Li (RISC-Linz Austria)
  152.  
  153. 10:30 -- 10:45  Coffee Break
  154.  
  155. 10:45 -- 11:15  Generalized Euclidean Algorithm for Geometry Theorem Proving
  156.                 by M. Kalkbrener (Cornell USA)
  157.  
  158. 11:15 -- 11:45  An Elimination Procedure for Mechanical Theorem Proving 
  159.                 in Geometries
  160.                 by D. Wang (RISC-Linz Austria)
  161.  
  162. 11:45 -- 14:00  Lunch
  163.  
  164. 14:00 -- 15:00  Invited talk: Using Mathematica to Teach Projective Geometry
  165.                 by D. Scott (RISC-Linz Austria)
  166.  
  167. 15:00 -- 15:30  Mechanical Theorem Proving in Projective Geometry
  168.                 by J. Richter-Gebert (Djursholm Sweden)
  169.  
  170. 15:30 -- 16:00  Coffee Break
  171.  
  172. 16:00 -- 16:30  On Relations between Jacobians and Minimal Polynomials
  173.                 by J. Yu (Notre Dame USA)
  174.  
  175. 16:30 -- 17:00  Implicitization of Hypersurfaces and Curves by the
  176.                 Primbasissatz and FGLM algorithm
  177.                 by S. Licciardi and T. Mora  (Genova Italy)
  178.  
  179. End of Program
  180.  
  181.  
  182.  
  183. Location
  184. --------
  185. AAGR-92 will be held at Schloss (castle) Weinberg near Linz in Austria.
  186. Rooms and meals will also be provided at the castle.
  187.  
  188. Schloss Weinberg is an old castle (with documents mentioning it date back
  189. to 1305) in the "Muehlviertel", the hilly region north of Linz.
  190. It has been completely renovated in the 80s, and since 1988 it has
  191. been used as a center for conferences, workshops etc.
  192. In a quiet and pleasant atmosphere visitors can both concentrate on
  193. their professional exchange and relax in their spare time.
  194.  
  195. Address:   A-4292 Kefermarkt, Weinberg 1
  196. Telephone: (0 79 47) 65 45
  197.  
  198.  
  199.  
  200.  
  201. Transportation
  202. --------------
  203. Schloss Weinberg is located on a hill at Kefermarkt near Linz.
  204. It is recommended that you plan to arrive on August 16 afternoon.
  205.  
  206. Schloss Weinberg <--> Kefermarkt train station:
  207.  
  208.   Schloss Weinberg is about 5 minute driving distance from
  209.   Kefermarkt train station.  There will be a free shuttle 
  210.   service on the following times:
  211.  
  212.    From Kefermarkt train station to Schloss Weinberg
  213.  
  214.       August 16   15:00  17:30  21:00
  215.       August 17   08:10
  216.  
  217.    From Schloss Weinberg to Kefermarkt train station
  218.  
  219.       August 19   18:00
  220.  
  221.  
  222.  
  223. Kefermarkt train station <--> Linz train station
  224.  
  225.    Kefermarkt is about 30 minutes driving distance from Linz.
  226.    But we recommend that you use a train.  One way train ticket 
  227.    costs 72 AS.  Here is the daily  train schedule. 
  228.  
  229.    Linz  --> Kefermarkt                   Kefermarkt --> Linz
  230.  
  231.    Depart      Arrive                    Depart        Arrive
  232.  
  233.     5.57        6.53                      5.14          6.14
  234.     7.01        8.03                      6.14          7.09
  235.     7.57        8.55                      7.41          8.35
  236.     9.57       10.54                      8.55          9.50
  237.    11.57       12.53                     10.14         11.08
  238.    13.58       14.53                     12.09         13.08
  239.    16.31       17.29                     14.14         15.08
  240.    17.57       18.53                     16.12         17.07
  241.    19.52       20.53                     18.14         19.08
  242.    21.02       22.59                     20.09         21.03
  243.  
  244.  
  245. Linz train station <--> Linz airport
  246.  
  247.    There is a shuttle service by bus about 1/2 hour after a plain arrives.
  248.    It costs 50 AS. 
  249.  
  250.    There is also a regular shuttle service from the train station 
  251.    to the airport. 
  252.  
  253.    A taxi costs about 250 AS.
  254.  
  255.  
  256.  
  257. Special Events
  258. --------------
  259. On August 20 (Thursday) morning, there will be a tour
  260. to the Research Institute for Symbolic Computation
  261. located at Schloss Hagenberg.
  262.  
  263.  
  264.  
  265.  
  266. Cost
  267. ----
  268. The cost per person is 2400 Austrian Schillings (AS) for
  269.    accommodation and meals from August 16 dinner to August 20 breakfast,
  270.    banquet, and
  271.    facilities, administration, etc.
  272.  
  273. Approximately,   1 DM        =   7 AS
  274.                  1 US Dollar =  11 AS
  275.                  1 Franc     =   2 AS
  276.  
  277.  
  278. Payment can be made either 
  279.    by transferring the due amount to 
  280.        Raiffeisen Kasse, Hagenberg-Pregarten, (BLZ 34151)
  281.        Account name   : AAGR'92
  282.        Account number : 390 000 253 20
  283. or 
  284.    by cash at the registration desk on arrival.
  285.  
  286. Registration desk will be open at
  287.    16:00-18:00 16th 
  288.    08:00-08:30 17th.
  289.  
  290.  
  291.  
  292.  
  293. Registration
  294. ------------
  295. Please fill in the registration form as soon as possible and 
  296. send it to 
  297.  
  298.       AAGR '92 Registration
  299.       c/o Hoon Hong
  300.       Research Institute for Symbolic Computation
  301.       Johannes Kepler University
  302.       Linz, Austria (Europe) A-4040
  303.  
  304. If you have e-mail connection or fax facility, 
  305. please send the filled registration form electronically to 
  306.  
  307.       E-mail:  hhong@risc.uni-linz.ac.at
  308.  
  309.       Fax:    (Austria) 7236 3338 30
  310.               From most countries, (Austria) is "0043".
  311.  
  312. This information is urgently needed for making
  313. reservation for rooms.
  314.  
  315.  
  316.  
  317. ------------------------------------------------
  318.  
  319.             AAGR '92 Registration
  320.  
  321.     Yes I will participate in the workshop.
  322.  
  323. First Name     :
  324. Last  Name     :
  325. Title          :      
  326.  
  327. Institution    :
  328. Street         :
  329. City           :
  330. Country        :
  331.  
  332. Telephone      :
  333. E-mail         :
  334.  
  335. Arrival time   :
  336. Departure time :
  337.  
  338.  
  339. ----------------------------------------------
  340.  
  341.  
  342.  
  343.