Programm des 18. Workshops  der GI-Fachgruppe 2.1.4
           Programmiersprachen und Rechenkonzepte

                     gemeinsam mit der

                    GI-Frachgruppe 2.1.9
        Objektorientierte Softwareentwicklung (OOSE)

      Sprachen, Architekturen und neue objektorientierte
                      Softwaretechniken
         (Generatoren, Agenten, Komponenten, Muster)


Montag, 7. Mai 2001
~~~~~~~~~~~~~~~~~~~

11:00 Begrüßung (W. Goerigk, E. Pulvermüller, A. Speck)

11:15 Christian Donker, Wolfgang Goerigk, Thomas Stahl (Univ. Kiel, becker & mohnberg
      Informatik AG, Kiel)
      Generative Softwareentwicklung mit UML
11:45 Klaus D. Günther (GMD-SIT, Darmstadt)
      Lava - Programmieren im Lego-Stil

      12.30-14.00  *** Mittagspause ***

14:00 Andreas Speck (Univ. Tübingen), Elke Pulvermüller (Univ. Karlsruhe)
      Feature Modeling
14:45 Ralf H. Reussner (Univ. Karlsruhe)
      Parametrisierte Verträge zur Protokolladaption bei
      Software-Komponenten

      15.30-16.00  *** Kaffeepause ***

16:00 Michael Hanus (Univ. Kiel)
      Embedding Processes in a Declarative Programming Language
16:45 Michael Weber (RWTH Aachen)
      HaskellMPI - Programmieren paralleler Programme in Haskell


Dienstag, 8. Mai 2001
~~~~~~~~~~~~~~~~~~~~~

09:00 Michael Franz (Univ. of California at Irvine)
      Distributing and Managing Mobile Code
09:45 Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner,
      (Portland State Univ., Univ. Kiel)
      An Implementation of Narrowing Strategies

      10.30 - 11.00  *** Kaffeepause ***

11:00 Andreas Vox (Med. Univ. Lübeck)
      Realisierung rekursiver Datenstrukturen durch generische Klassen
11:45 Hermann von Issendorff (Hemmoor)
      Ansätze zur formalen Beschreibung von Aminosäureketten und Proteinen

      12.30-14.30  *** Mittagspause ***
      ab 14.30 Uhr  Gemeinsame Unternehmung
      ab 19.00 Uhr Mitgliederversammlung der Fachgruppe 2.1.4


Mittwoch, 9. Mai 2001
~~~~~~~~~~~~~~~~~~~~~

09:00 Arnd Poetzsch-Heffter (FernUniv. Hagen)
      Towards Type Systems for Dynamic Components
09:45 Dirk Draheim (FU Berlin)
      Integration von Polymorphismus und Subtypen für das Pi-Kalkül

      10.30 - 11.00  *** Kaffeepause ***

11:00 Stefan Kuhlins (Univ. Mannheim)
      Techniken für Preisvergleiche im World Wide Web
11:45 Frank Huch (RWTH Aachen)
      Model Checking für Erlang-Programme: Ein Überblick

      12.30 Mittagessen und Ende des Workshops