Industrial Applications and Prospects of
Computer Algebra, 21.-22. Juni 2011, Kaiserslautern
Tagungsort: ITWM – Fraunhofer-Institut für Techno- und Wirtschaftsmathematik Kaiserslautern
Im Juni 2011 hat die Fachgruppe erstmalig eine Konferenz zu industriellen Anwendungen der Computeralgebra sowie die bestehenden und zukünftigen Erwartungen, die mit einem solchen Einsatz verbunden sind, ausgetragen.
Ziel der Tagung war es, den Dialog zwischen den verschiedenen Interessengruppen im Umfeld industrieller Anwendungen der Computeralgebra zu befördern:
- Universitäten und Hochschulen, die formale Methoden im Umfeld von CA erforschen und zur Verfügung stellen,
- Tool-Provider, die diese Methoden zur Marktreife führen, und
- Unternehmen und anwendungsorientierte öffentliche Forschungseinrichtungen, die diese Methoden durch Verwendung der Tools zum Einsatz bringen, um Wert-schöpfung z.B. durch innovative Produkte zu generieren.
Die Konferenz diente als Forum für alle Interessengruppen, nicht nur, um Erfahrungen auszutauschen, sondern auch, um die Anforderungen an den industriellen Einsatz der CA im Unterschied zu anderen Verwendungsbereichen wie etwa der Schule zu diskutieren.
Beiträge aus den drei Interessengruppen waren begleitet von Ausstellungen und Postern. Das Fraunhofer-Institut für Techno- und Wirtschaftsmathematik bot mit seinen Räum-lichkeiten, seinem Ambiente und seiner Ausrichtung an der Schnittstelle zwischen mathematischer Forschung und ihrem Transfer in die Anwendungen einen idealen Rahmen für diese Veranstaltung.
Organisiert wurde die Konferenz von Mitgliedern der Fachgruppenleitung: Anne Frühbis-Krüger kümmerte sich um das akademische Vortragsprogramm, während Michael Hofmeister Ansprechpartner für die Tool-Provider und die industriellen Beiträge war. Die lokale Tagungsorganisation lag in den Händen von Gunter Malle.
Programm:
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 |
