This page in English
TU BERGAKADEMIE FREIBERG
Institut für Informatik
2. Workshop Boolesche Probleme
19./20. September 1996 in Freiberg/Sachsen
Der Workshop beinhaltet folgende Schwerpunkte:
- Theorie
- Vorstellung neuer Forschungsansätze und -ergebnisse zur Anwendung endlicher Boolescher Algebren
- Datenstrukturen und Algorithmen
- Programmtechnische Aufbereitung Boolescher Probleme
- Spezifikation von Datenstrukturen und algorithmischer Umsetzung
- Beurteilung der Effizienz und Diskussion von Alternativen
- Programmsysteme/Software
- Vorstellung von Programmen oder Bibliotheken zur Lösung Boolescher Probleme
- Erläuterung der Funktionalität und des Anwendungsspektrums
- Praktische Anwendungen
- Präsentation von Ergebnissen, die sich auf die Lösung Boolescher Probleme zurückführen lassen
- Modellbildung der gewählten Lösung unter Berücksichtigung möglicher Alternativen
- Leistungseinschätzung
- Offene Probleme
- Darlegung von derzeit offenen Problemen aus allen Bereichen, die den Charakter eines Booleschen
Problems erkennen lassen
- Anregungen zur Diskussion aller Teilnehmer über mögliche Lösungsansätze
Wissenschaftliche Leitung:
Prof. Dr.-Ing. habil. Bernd Steinbach, TU Bergakademie Freiberg, Institut für Informatik
Programmkommitee:
- Prof. Dr.-Ing. U. G. Baitinger, Universität Stuttgart, Institut für parallele und verteilte
- Rechnersysteme
- Prof. Dr. B. Becker, Albert-Ludwigs-Universität Freiburg, Institut für Informatik
- Prof. Dr.-Ing. J. Beister, Universität Kaiserslautern, Institut für Elektrotechnik
- Prof. Dr.-Ing. Dieter Bochmann, TZ-LS Chemnitz
- Dr.-Ing. Frank Dresig, ISDATA GmbH
Organization
Dipl.-Ing. Ch. Lang,
TU Bergakademie Freiberg, Institut für Informatik
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
17. Februar 1997