Institute of Informatics - University of Giessen


Informatica '97

Programm


Donnerstag, 26.06.1997

08:45 Eröffnung
09:00 Michael Walter Systolische Baumautomaten
09:45 Gabriel Bruder Syntaxanalyse der "Sigma DefinitionLanguage"
10:15 Kaffeepause
10:45 Stefan Reul,
Frank Schäfer
X11 / Motif-Oberfläche für SCARLET
11:30 Jörg Springer Schaltkreisfamilien
12:15 Mittagspause
14:00 Jochen Klingelhöfer Sequentielle Charakterisierung systolischer Baumautomaten
14:45 Rolf Gebauer 3SAT Greedy-Algorithmen
15:30 Kaffeepause
16:00 Carsten Bärmann,
Andreas Klein,
Jan-Thomas Löwe,
Dirk Nauert,
Daniel Veit,
Michael Walter
3D-Schach
18:00 Abendessen
19:00 Kellerbar

Freitag, 27.06.1997

08:00 Frühstück
09:00 Andreas Klein Iterative Baumautomaten
09:45 Christoph Mahnel Boolesche Funktionen
10:30 Kaffeepause
11:00 Jörg Springer Langzahlmultiplikation Karatsuba
11:30 Dorothea Rink,
Steffen Scherbaum
Langzahlmultiplikation Toom-Cook
12:00 Mittagspause
13:00 Daniel Veit Multimedia-Datenbanken
13:45 Kaffeepause
14:15 Martin Bokler Langzahlmultiplikation Schönhage-Strassen
14:45 Schlußwort und Abreise


<webmaster@www.informatik.uni-giessen.de> Tue Feb 24 11:50 MET 1998