🚀 go-pugleaf

From: "u. krummel" <unido!DULFAW1A.bitnet!NEWS>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Mon, 30 Apr 90 17:37:15 MEZ
Subject: elektronischer FAW-Newsletter
Keywords: Nachrichten

mod-ki message 0452
************************************************************************
Der FAW-Newsletter,  der  bereits  seit  einigen  Monaten  in  Druckform
existiert, ist ab sofort monatlich auch in elektronischer Form via email
in verkuerzter Form zu beziehen. Anbei erhalten sie  ein  Probeexemplar.
Sofern Sie in den Verteiler aufgenommen werden wollen, senden Sie  bitte
eine  mail  an  NEWS@DULFAW1A.BITNET.  Dies  gilt  auch   fuer   weitere
Interessenten an unserem NEWS-LETTER, der hoffentlich auf Ihr  Interesse 
stossen wird.

Mit freundliche Gruessen
U. Krummel, Vorstandsassistent

[(-: welcome in the electronic village, FAW :-) hwh]

------------------------------------------------------------------------
nn    nn   eeeeee   ww      ww   ssssss
nnn   nn   ee       ww      ww   ss
nnnn  nn   eeeeee   ww  ww  ww   ssssss  ====
nn   nnn   ee       ww  ww  ww       ss
nn    nn   eeeeee   wwww  wwww   ssssss
 
           ll       eeeeee  tttttttt  tttttttt   eeeeeee   rrrrr
           ll       ee         tt        tt      ee        rr   r
           ll       eeeeee     tt        tt      eeeeee    rrrrr
           ll       ee         tt        tt      ee        rr  rr
           llllll   eeeeee     tt        tt      eeeeee    rr   rr
 
---------------------------------------------------------------------
 
AUSGABE 5/90
 
Herausgeber:    Forschungsinstitut fuer anwendungsorientierte
                Wissensverarbeitung - FAW Ulm
                an der Universitaet Ulm
 
Redaktion:      S. Janser, I. Hommel
                Tel. 0731/501-0, EARN/bitnet NEWS@DULFAW1A
 
verantwortlich: U. Krummel
                Tel. 0731/501-555, EARN/bitnet KRUMMEL@DULFAW1A
 
Erscheinungs-
weise:          monatlich ueber email-Verteiler
 
-------------------------------------------------------------------
DER FAW NEWSLETTER KANN BEZOGEN WERDEN AUF ANFRAGE AN NEWS@DULFAW1A
-------------------------------------------------------------------
 
 
INHALT:
 
1) Umweltminister Dr. E. Vetter besucht FAW
 
2) Workshop Planen und Konfigurieren am FAW
 
3) Termine, Veranstaltungen am FAW
 
4) FAW-Kolloquien im Mai
 
 
-------------------------------------------------------------------
 
1.) Umweltminister Dr. E.  Vetter besucht FAW
 
Am 26.April besuchte  der baden-wuerttembergische Umweltminister Dr. E.
Vetter das FAW, um sich ueber den Anwendungsbereich
Umweltinformationssysteme  und die damit verbundenen Projekte zu
informieren.  In einem gut vierstuendigen Programm wurden von Seiten
des Instituts Forschungsziele und -ansaetze sowie  bereits erzielte
Zwischenergebnisse und Prototypen von geplanten Projekten praesentiert.
Neben der Delegation des Umweltministeriums benutzten auch eine grosse
Anzahl von Vertretern der Medien die Chance , um sich ueber das FAW
und die dort laufenden Forschungsaktivitaeten im Bereich der
Umweltinformationssysteme zu informieren.
 
Minister Vetter wurde von Seiten des Umweltministeriums begleitet von Dr.
Mayer-Foell, Dr. Keitel und Herrn Goeckelmann.
 
Prof. Radermacher begruesste zunaechst den Umweltminister und die ihn
begleitenden Mitarbeiter sowie die anwesenden Pessevertreter und
berichtete im Anschluss daran kurz ueber Konzeption und
Forschungsaktivitaeten im FAW-Umweltbereich. Im Anschluss daran
referierte Dr. O. Guenther  als zustaendiger Bereichsleiter ueber die
einzelnen Vorhaben. Der Vortragsreihe schloss sich alsdann  ein
Rundgang des Ministers und der Presse auf der Verfuegungsflaeche zu
den  verschiedenen Umweltprojekte an.  Auf der FAW-
Demonstrationsflaeche zeigten dabei zunaechst die Projekte ZEUS und
WANDA anhand von rechnergestuetzten Demonstrationen ihren
gegenwaertigen Forschungsstand auf, bevor die mit dem Umweltbereich
eng  verbunden Projekte NAUDA und WINHEDA spezielle Aspekte der
Datenhaltung  und des Datenzugriffs im Kontext von
Umweltinformationssystemen ebenfalls anhand bereits entwickelter
Rechnerloesungen verdeutlichten.  Zum Abschluss des Rundgangs
wurden im Rechnerraum Vorfuehrungen des RESEDA-Projektes auf der
SICAD-HYGRIS WS 2000 Workstation zur Auswertung von
Satellitenbildern praesentiert.
 
Bei der anschliessenden Pressekonferenz wurde den zahlreichen
Vertretern von Rundfunk und Fernsehen die Moeglichkeit gegeben,
spezielle Fragen zu dem zuvor Gesehenen zu stellen. Dabei wurden
insbesondere auch die Moeglichkeiten der Umsetzung der im FAW
gewonnenen Resultate im Hinblick auf konkrete, im Ministerium und den
Behoerden einsetzbare Systemloesungen angesprochen. Prof.
Radermacher konnte bei dieser Gelegenheit darauf verweisen, dass bereits
mehrere Teilloesungen und Prototypen im FAW erstellt worden sind, die in
absehbarer Zeit in der konkreten Anwendung ausgetestet werden koennen.
 
Nachdem auch der Ulmer OB Ludwig und der Universitaetsrektor Prof.
Fliedner bei der Pessekonferenz anwesend waren, richtete sich schliesslich
die Diskussion auch noch auf einige regionalspezifische Umweltprobleme,
insbesondere die Situation des Muellheizkraftwerks der Uniklinik und die
damit verbundenen Schadstoffausstoesse.
 
Nach Beendigung des auch auf die Oeffentlichkeit ausgerichteten Teils des
Informationsbesuchs fand zum Abschluss des Ministerbesuchs noch eine
Besprechung statt, an der die Delegation des Umweltministeriums sowie
die mit dem Umweltbereich befassten Leitenden FAW-Wissenschaftler
teilnahmen. Bei dieser Gelegenheit trug sich Minister Vetter auch in das
Gaestebuch des Instituts ein. Nach dem rund vierstuendigen Aufenthalt am
FAW setzte der Umweltminister sein Programm mit einem Besuch der
Universitaet fort.
 
Die Beurteilung der Veranstaltung war allseits sehr positiv und
insbesondere die rege Beteiligung der Medien macht deutlich, dass die am
FAW erbrachten Forschungsleistungen sowohl in der Fachwelt, aber
darueberhinaus auch fuer eine breite Oeffentlichkeit von zunehmenden
Interesse sind. (uk)
 
------------------------------------------------------------------------
 
2.) Vierter Workshop 'Planen und Konfigurieren' am FAW in Ulm
 
Der 4. Workshop 'Planen und Konfigurieren' der gleichnamigen
Fachgruppe innerhalb des Fachausschusses 'Expertensysteme' der
Gesellschaft fuer Informatik (GI) fand am 23./24.4.1990 am FAW in
Ulm statt. Insgesamt waren in diesem Jahr mehr als 60 Teilnehmer
sowohl aus dem Hochschulbereich als auch aus der Industrie
anwesend.
 
Die Vortraege an den beiden Tagen lassen sich grob in drei Arten
klassifizieren :
- grundlagenorientierte Vortraege,
- Anwendungsvortraege sowie
- Projektvorstellungen.
 
Besonders interessant waren dabei insbesondere die Vielzahl von
Querbezuegen, welche zwischen den verschieden vorgestellten
Arbeiten zu erkennen waren.
 
Die inhaltlichen Schwerpunkte lagen in diesem Jahr eindeutig auf der
Diskussion der Umsetzung von KI-Techniken auf konkrete
Applikationen. Daneben gab es am ersten Tag zwei parallele
Sektionen zu den Themenstellungen 'Konfigurieren mit
Bibliotheksloesungen' und 'Planen und Logik'. Am zweiten Tag gab
es eine recht bunte Mischung von Vortraegen zu verschieden
Themenstellungen aus dem Bereich 'Planen und Konfigurieren' sowie
am Nachmittag eine Reihe von Projektvorstellungen, welche einen
aktuellen UEberblick ueber die laufenden Arbeiten der Vortragenden
gaben.
 
Aufgrund der grossen Zahl von insgesamt ca. 30 Vortraegen an den
beiden Tagen ging der intendierte Workshopcharakter der
Veranstaltung etwas verloren, was sich insbesondere in der Tatsache
aeusserte, dass eine Vielzahl von interessanten Diskussionen im
Anschluss an die einzelnen Vortraege aus Zeitgruenden abgebrochen
werden mussten.
 
Trotzdem wurde die Veranstaltung im wesentlichen als Erfolg
beurteilt, da sie eine gute Moeglichkeit bot, sich einen UEberblick
ueber die Vielzahl von laufenden Projekten und
Forschungsaktivitaeten in diesem Bereich zu verschaffen.
 
Als positiv wurde insbesondere die Tatsache betrachtet, dass  mit
diesem Workshop eine Gelegenheit existiert, sowohl praktische
Anwendungen als auch grundlagenorientierte Forschungsaktivitaeten
vorzustellen, was von allen Beteiligten als sinnvoll und notwendig
angesehen wurde.
 
Die Proceedings zu dem Workshop werden als FAW-Bericht
veroeffentlicht werden. Weitere Informationen zu dem Workshop
sind bei Norbert Kratz (Tel. 501-613) zu erhalten. (N. Kratz)
 
-------------------------------------------------------------
3.) Veranstaltungen Mai '90:
 
03.05.90: Prof. Kuhn
14:00-16:00 Uhr, Hoersaal
 
04.05.90: Prof. Fischer, University of Colorado, Boulder / USA
Kooperative wissensbasierte Designumgebungen
10:00-12:00 Uhr, Hoersaal
 
08.05.90: Dr. Doster, Daimler- Benz
Arbeitsplatzsysteme - experimentelle Realisierung als Bindeglied zwischen Algori
14:00-16:00 Uhr, gr. Besprechungsraum
 
11.05.90: Prof. Dr. Beth, Karlsruhe
Datensicherheitstechnik und Kryptographie in offenen verteilten Netzen
15:00 Uhr, Hoersaal
 
14.05.90: Prof. Dr. Pepper, TU Berlin
Formale Ansaetze zur Programmentwicklung
14:00 Uhr, Hoersaal
 
21.05.90: Prof. W.J. Paul
14:00-15:30 Uhr, Hoersaal
 
21.-23.05.90: Prof. Dr. Kees M. van Hee und M. Voorhoeve, Eindhoven Un  iversity
Minicourse on Executable Specifications of Distributed Systems
 
22.05.90: H.Haugeneder (Siemens/DFKI)
13:30-15:30 Uhr, gr. Besprechungsraum
 
28.05.90: Dr. Thurmair
16:00-18:00 Uhr, gr. Besprechungsraum
(oder: 30.05.90, 14:00-16:00 Uhr)
 
29.05.90: Gaemlich
14:00-16:00 Uhr, gr. Besprechungsraum
 
----------------------------------------------------------------------
 
4.) FAW - Kolloquien Mai '90:
 
 
Dr. Doster, Daimler- Benz:
Arbeitsplatzsysteme - experimentelle Realisierung als
Bindeglied zwischen Algorithmenforschung und
Produktentwicklung
 
Kurzfassung:
Bei der experimentellen Realisierung von
Arbeitsplatzsystemen sollen unter Einbeziehung von
Ergebnissen aus den Bereichen Dokumentanalyse,
Spracherkennung , Sprachsynthese, Handschrift- und
Symbolerkennung, Bewegtbildcodierung,
Kommunikationsprotokolle und Diensteintegration Systeme
entstehen auf der Basis von kommunikationsfaehigen
Rechnern (vom PC bis zur Hochleistungsworkstation). Wir
kommen dadurch zu Systemen mit deutlich erweiterter
Benutzeroberflaeche  und vielfaeltiger Mensch-Maschine-
Kommunikation. Mit Anwendungsdemonstrationen soll
demonstrierbar und pruefbar werden, was mit solchen
Systemen praktisch machbar und auch nicht machbar sein
kann. Im Vortrag wird neben der Diskussion der
grundsaetzlichen Aspekte dieses Ansatzes auch auf
experimentelle Systeme  und Anwendungsdemonstrationen
eingegangen.
 
 
Prof. Dr. Beth, Karlsruhe:
Datensicherheitstechnik und Kryptographie in offenen
verteilten Netzen
 
Kurzfassung:
Ueblicherweise wird von vielen Anwendern der Begriff
"Datensicherheit" irrtuemlich mit dem haeufig etwas
geheimnisbeladenen Wort "Kryptographie" identifiziert. Ziel
dieses Vortrages ist es, vom Standpunkt des Entwurfs offener
verteilter Netze die Aspekte der modernen
Datensicherheitstechnik darzustellen. Es werden
Fragestellungen bertrachtet, die zeigen, dass von der
Spezifikation bis zum theoretischen Detail bei der
Implementierung von Algorithmen fast die gesamte
Wissensbreite der heutigen Informatik gefordert ist, um
Systemkonzepte zu entwickeln, die den hohen Anforderungen
der Praxis gerecht werden. Beispiele fuer solche
Fragestellungen ergeben sich aus dem Entwurf von
verlaesslichen informationstechnischen Systemen, wo in
besonderem Masse die Fragen der Zugangskontrolle, der
Authentifikation und des Schluesselmanagements mit
technisch und mathematisch anspruchsvollen Verfahren zur
Signatur und Authentifikation verknuepft sind, um
beispielsweise Faelschungssicherheit zu gewaehrleisten.
Gerade in diesen Beispielen wird klar, dass die fuer die
klassische Kryptographie als zentral angesehene
Verschluesselungtechnik zur Geheimhaltung nur noch eine
partielle Rolle spielt. Vielmehr ist durch neue Ergebnisse der
Komplexitaetstheorie und Methoden der Anwendbaren
Algebra zum ersten Mal in der modernen Informatik moeglich
geworden, Datensicherheitsprotokolle zu entwickeln, die den
Betrieb und die Benutzung verlaesslicher Systeme in
hoechster Qualitaet mit angemessenem Aufwand
ermoeglichen. Die sich hieraus ergebenden
Zusammenhaenge mit grundsaetzlichen Problemen der
Algebra, Logik, Beweistheorie sowie verschiedenen Gebieten
der Informatik werden angesprochen.
 
 
Prof. Dr. Pepper, TU Berlin:
 Formale Ansaetze zur Programmentwicklung
 
Kurzfassung:
Die gegenwaertige Praxis bei der Erstellung von "high-quality
software" ist vor allem gepraegt durch eine Mischung aus
organisatorischen Massnahmen und Appellen an die
Selbstdisziplin der Entwickler. In weiten Bereichen ist unser
Wissen ueber Konzepte von Programmiersprachen und
Methoden der Programmierung heute aber schon so weit
ausgereift, dass wir wohlfundierte mathematische Methoden
einsetzen koennen. In dem Vortrag konzentrieren wir uns auf
einen "deduktiven Ansatz", bei dem Programme durch
schrittweise Anwendung von Transformationregeln aus ihrer
Spezifikation abgeleitet werden. Damit wird "Programmieren"
zu "Rechnen in einem formalen Kalkuel". Kurz angesprochen
werden auch die mit diesem Ansatz zusammenhaengenden
Fragen: Erstellung einer geeigneten Ausgangsspezifikation;
geeignete Zielsprachen fuer den Entwicklungsprozess und die
Integration von Transformationskonzepten und Compilierung.
 
 
Prof. Dr. Kees M. van Hee und M. Voorhoeve, Eindhoven
University of Technology, The Netherlands:
Minicourse on Executable Specifications of Distributed
Systems
 
Abstract:
Introduction: One of the major problems of systems
engineering is the precise description of a real system or a
conceptual system for instance a design. Such a description is
used: - for analysis of the system, - as a formal specification
for the construction of the system. In Eindhoven we developed
a formalism and a software tool, both called ExSpect for
executable specifications of disributed systems. The
underlyind theory is based on Petri nets and typed lambda
calculi. Program: Monday: overview of ExSpect and
comparison to other formalisms. tuesday: model and
specification language. Wednesday: applications to
information systems design, user interfaces and logistic
systems.
************************************************************************