Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Symbolic Computation meetings on July 1996
Replies: 3   Last Post: Jul 15, 1996 8:21 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
_SAC_commando_

Posts: 36
Registered: 12/8/04
Symbolic Computation meetings on July 1996
Posted: Jul 8, 1996 8:11 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



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.

@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@







Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.