Tagungen

"Perspektiven im Bereich numerischer Einschliessungsverfahren"

Arbeitstagung vom 17.3.-19.3.2004
im Waldhotel Zollernblick in Freudenstadt

Gruppenbild der Teilnehmer
(Teilnehmer v.l.n.r.: Mariana Luderitz Kolberg, Hassan El-Owny, Dietmar Ratz, Frithjof Blomquist, Rudolf Lohner, Rudi Klatte, Ulrich Kulisch, Markus Grimmer, Walter Krämer, Gerd Bohlender, Kurt Grüner, Reinhard Kirchner, Werner Hofschuster, Heinrich Berlejung)

Tagungsprogramm:

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)

Einige Impressionen und Bilder