Schedule

Tuesday, June 21

09:00 - 09:15 Opening
09:15 - 10:00 G.Pfister (TU Kaiserslautern) Groebner bases of ideals in Z/N[x_1,...,x_n]
coffee
10:30 - 11:20 M.Kreuzer (Universität Passau) Algebraic Oil -- the mathematical point of view
11:30 - 12:00 C.Baciu (Shell) Algebraic Oil -- the industrial point of view
Lunch
14:00 - 14:30 A.Dreyer (Fraunhofer ITWM) Computer algebra for validating a digital World
14:45 - 15:15 ADDITIVE GmbH Softwarepresentation Mathematica
coffee
15:45 - 16:15 E.Wosch (RWTH Aachen) Von der Computeralgebra zur Anlagenautomatisierung
16:30 - 17:00 M.Schmidtchen (Bergakademie Freiberg) Einsatzmöglichkeiten von Computeralgebrasystemen in der Werkstofftechnologie

Wednesday, June 22

09:15 - 10:00 P.Lang (Fraunhofer ITWM) Analog Insydes - Intelligent Symbolic Design System for analogue circuits
coffee
10:30 - 11:20 R.Sommer (TU Ilmenau) The EDA-Designerfinger
11:30 - 12:00 B. Erocal (Sage Development Teai) Softwarepresentation Sage
lunch
14:00 - 14:30 T.Richard (Maplesoft) Maple 15 new functions and MapleSim 5
14:45 - 15:15 W.Kunz (TU Kaiserlautern) Formal Verification of Systems-on-Chip
coffee
15:45 - 16:15 J.Friebe(Maplesoft) Current industrial projects with MapleSim