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