Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Symbolic Computation meetings on July 1996
Posted:
Jul 8, 1996 8:11 PM
|
|
Summary: Symbolic Computation is coming to TOWN, isn't (s)he?
-------------------------------------------------------------------------------
The 2nd IMACS Conference
on
Applications of Computer Algebra
17 - 20 July, 1996
Research Institute for Symbolic Computation
Castle Hagenberg, Austria
The IMACS ACA conference series is dedicated to reporting serious
applications of computer algebra theories and tools for mathematics,
logic, science, engineering and education. The 2nd IMACS ACA conference
will be held in a medieval castle near Linz, Austria.
Sponsors
U.S. Air Force European Office of Aerospace Reseach and Development
Austrian Ministery for Economical Affairs
Government of Upper Austria
Macsyma Inc.
MathSolutions Inc.
General Chairs
Bruno Buchberger (Austria), Stanly Steinberg (USA)
Program Committee Chair
Hoon Hong (Austria)
Program Committee
Akira Aiba (Japan) Erich Barke (Germany) Alexei Bocharov (USA)
Victor Edneral Victor .G. Ganzha
(Russia) (Germany) Vladimir P. Gerdt (Russia)
Hoon Hong (Austria) Michael Johnson Richard Liska (Czech
(Australia) Republic)
Claudio Maccone Eugenio Roanes-Lozano
(Italy) Rolf Mertig (Netherlands) (Spain)
Shojiro Sakata
(Japan) J. Rafael Sendra (Spain) Ralf Sommer (Germany)
Sabine Stifter
(Austria) Nikolay Vasiliev (Russia) E.V. Vorozhtsov (Russia)
Dongming Wang
(France) Michael Wester (USA)
Scientific Program
July 17th (Wednesday)
08:15-08:30 Conference Opening
Morning Parallel Sessions
08:30-12:00 * Automated Theorem Proving I
* Formal Analysis of PDEs
Afternoon Parallel Sessions
14:00-17:30 * Automated Theorem Proving II
* Coding Theory and Cryptology
July 18th (Thursday)
Morning Parallel Sessions
* Geometric Modelling and CAD
08:30-12:00 * General Relativity and Quantum Physics
(08:30-10:00)
Numerical Problems of Mathematical Physics
(10:30-12:00)
Afternoon Parallel Sessions
14:00-17:30 * Computational Category Theory
* Non-Standard Applications
July 19th (Friday)
Morning Parallel Sessions
08:30-12:00 * Polynomial Elimination I
* Constraint Programming
* Analog Circuit Design
Afternoon Parallel Sessions
14:00-17:30 * Polynomial Elimination II
* Evaluations of Series
* Quantifier Elimination
19:30-22:30 Conference Banquet
July 20th (Saturday)
Morning Parallel Sessions
08:30-12:00 * New Appplications in Mathematica
* Comparative CAS Reviews and Philosophy
12:00 -12:15 Conference Closing
Touristic Events
Registration, Travelling and Accomodation.
Current List of Attendees
1.Akira Aiba
2.Helmer Aslaksen
3.Stefania Audoly
4.Daniel Augot
5.Henk Barendregt
6.R. Barrere
7.Laurent Bernardin
8.Piergiorgio Bertoli
9.Alexei Bocharov
10.Carsten Borchers
11.FranÃÂçois Boulier
12.Chris Brown
13.Ronald Brown
14.Bruno Buchberger
15.Richard Buckland
16.Hans-Joachim Bungartz
17.Jacques Calmet
18.Olga Caprotti
19.Giuseppa CarrÃÂÃÂ Ferro
20.Bernd, Ingo Dahn
21.Andreas Dolzmann
22.Winfried Dreckmann
23.Victor Edneral
24.Marc GaÃÂëtano
25.Karin Gatermann
26.Robbie Gates
27.Wolfgang Gehrke
28.Vladimir P. Gerdt
29.Floyd Gerwig
30.Emma-Neila Gonzalez-Campos
31.Hans-Gert GrÃÂäbe
32.Laurent Granvilliers
33.Markus Grassl
34.Johannes Grotendorst
35.Guenther Gsaller
36.Jason Harris
37.Lars Hedrich
38.Karsten Homann
39.Hoon Hong
40.Claude Huchet
41.John McIver
42.Ying Jiangqian
43.Mats Jirstrand
44.Michael Johnson
45.Michael Joswig
46.Wolfram Koepf
47.J. Korelc
48.F. William Lawvere
49.Franck Leprevost
50.Carla Limongelli
51.R. Liska
52.Gerton Lunter
53.Claudio Maccone
54.W. Mathis
55.Rolf Mertig
56.J. Lyn Miller
57.Eric Monfroy
58.Antonio Montes
59.J.E. Morais
60.Marianne Morillon
61.Sally D. Morrison
62.Bernard Mourrain
63.Joern Mueller-Quade
64.Shigekazu Nakagawa
65.Masayuki Noro
66.Armin Nueckel
67.Jesus Palacian
68.Frank Postel
69.Pottmann Helmut
70.Stefan Ratschan
71.Mohamed Rayes
72.Gregory J. Reid
73.Christophe Ringeissen
74.Eugenio Roanes-Lozano
75.Bob Rosebrugh
76.Maria Pia Saccomani
77.J.F. San-Juan
78.Yosuke Sato
79.Sauer Tomas
80.David Saunders
81.K. Schaub
82.Klaus U. Schulz
83.Werner M. Seiler
84.J. Rafael Sendra
85.Roman Shtokhamer
86.M. Sofroniou
87.Volker Sorge
88.Andreas Stein
89.Stanly Steinberg
90.Hans J. Stetter
91.JÃÂürgen Stuber
92.Thomas Sturm
93.Ross Taylor
94.Quoc-Nam
95.Michael Trott
96.Edwin Julio Vargas Sanchez
97.Nikolay Vasiliev
98.Sebastian Walcher
99.Robert Walters
100.Volker Weispfenning
101.Michael Wester
102.Franz Winkler
103.Lu Yang
104.Guo Yike
105.Paul Zimmermann
See
http://info.risc.uni-linz.ac.at:70/0/conference/IMACS96/imacs.html
for details.
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
|
|
|
|
