Tagungen |
1) Mittwoch, 17.3., 14:00-16:00 (Übersichtsvorträge und Kurzberichte)
14:00 | Begrüßung |
14:15 | Prof. Dr. Walter Krämer
(Universität Wuppertal):
Arbeitsgruppen und Werkzeuge auf dem Gebiet der Verifikationsnumerik - ein Überblick |
15:00 | Dr. Werner Hofschuster
(Universität Wuppertal):
XSC-Sprachen - gestern, heute und morgen |
2) Mittwoch, 17.3., 16:20-18:20 (Hardware)
16:20 | BSc. Mariana Lüderitz Kolberg
(PURCS, Rio Grande do Sul, Brazil):
New Accurate Expressions in C-XSC |
16:50 | Prof. Dr. Ulrich Kulisch
(Universität Karlsruhe),
Prof. Dr. Reinhard Kirchner
(Universität Kaiserslautern):
Hardware-Konzepte, neuester Stand Hardware Support for Interval Arithmetic |
3) Donnerstag, 18.3., 9:00-10:45 (Numerik)
9:00 | Prof. Dr. Reinhard Kirchner
(Universität Kaiserslautern):
Aktuelle Prozessorentwicklungen |
9:55 | Dipl-Math. Markus Grimmer
(Universität Wuppertal):
Zur verifizierten Lösung von Fredholmschen Integralgleichungen und -systemen 2. Art |
4) Donnerstag, 18.3., 11:00-12:50 (Validierung und Verifikation)
11:00 | Dipl.-Math. Heiner Berlejung
(Propack Data GmbH):
Software Entwicklung und Validierung in der regulierten Pharmazeutischen Industrie |
12:20 | HDoz. Dr. Rudolf Lohner
(Universität Karlsruhe):
Neue Entwicklungen im Hochleistungsrechnen am RZ Verifikation bei Differentialgleichungen |
5) Donnerstag, 18.3., 15:30-18:30 (Parallelrechner, E-Learning)
15:30 | HDoz. Dr. Rudolf Lohner
(Universität Karlsruhe):
Neue Entwicklungen im Hochleistungsrechnen am RZ |
17:15 | PD Dr. Dietmar Ratz
(Universität Karlsruhe):
E-Learning am AIFB |
18:00 | Diskussionen |
6) Freitag, 19.3., 9:00-11:00 (Arithmetik)
9:00 | M.Sc. Hassan El-Owny
(Universität Wuppertal):
Genaue und effiziente Skalarproduktberechnungen auf Cluster Computern |
9:35 | Prof. Dr. Walter Krämer
(Universität Wuppertal):
Ausnahmefreies Rechnen in abgeschlossenen Intervallsystemen |
10:30 | Dr. Gerd Bohlender
(Universität Karlsruhe):
Bemerkungen zur Intervallrechnung in Software |
7) Freitag, 19.3., 11:25-12:50 (Projekte)
11:25 | PD Dr. Dietmar Ratz
(Universität Karlsruhe),
Dr. Rudi Klatte
(Universität Karlsruhe):
Garantierte Optimierungsverfahren (Kurzbericht über gemeinsames Projekt mit Ungarn) |
11:40 | Dr. Frithjof Blomquist
(Saarbrücken):
Spezielle Funktionen, A priori Fehlerabschätzungen mit C-XSC Werkzeugen |
12:30 | Prof. Dr. Reinhard Kirchner
(Universität Kaiserslautern):
Patentierung von grundlegenden Intervalloperationen von Sun Microsystems |
8) Freitag, 19.3., ab 14:00 (Arbeitsgruppen)
- Projektplanung DAAD, etc. (Krämer, Klatte, Bohlender) |
- Hardware (Kulisch, Kirchner, ...) |
- Programmierausbildung (Bohlender, Grüner, Krämer, Lohner, Ratz) |
- Hochleistungsrechnen und Verifikation (Krämer, Lohner) |