18. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte
Gemeinsam mit der GI-Fachgruppe 2.1.9 Objekt-Orientierte Software Entwicklung (OOSE) Sprachen, Architekturen und neue objektorientierte Softwaretechniken (Generatoren, Agenten, Komponenten, Muster)
Beschreibung
Einladung |
Seit 1984 veranstaltet die GI-Fachgruppe 2.1.4 regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Der diesjährige Workshop wird von der Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" gemeinsam mit der Fachgruppe 2.1.9 "Objektorientierte Softwareentwicklung (OOSE) veranstaltet.
Das Thema ist bewußt breit angelegt und schließt ausdrücklich die Interessen aller Mitglieder der beteiligten Fachgruppen ein. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte und gemeinsamer Interessen. Wir laden Sie ein, Vorträge und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betätigungsfeld einzureichen, unter anderem (aber nicht ausschließlich) zu Themen wie
|
|
Darüber hinaus hoffen wir auf Beiträge zum Thema objektorientiertes Softwareengineering, zu generativer und komponentenbasierter Softwareentwicklung. Von Interesse sind diese Themen dabei auch aus Sicht der unterschiedlichen Programmiersprachparadigmen und ihrer Eignung zur Lösung der heutigen softwaretechnischen Herausforderungen.
Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen.
Veranstaltungsort
Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums Bad Honnef statt. Es können bis zu 60 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Neben einer einmaligen Tagungsgebühr von DM 10,- berechnet das Haus zur Zeit für die Vollpension DM 65,- pro Tag, für Übernachtung mit Frühstück DM 40,- pro Tag. Am Sonntag Abend steht ab 18:30 Uhr ein Abendessen in Form eines Imbisses bereit.
|
Organisation |
Wolfgang Goerigk ( Christian-Albrechts-Universität zu Kiel ) Elke Pulvermüller ( Universität Karlsruhe )
Andreas Speck ( Universität Tübingen )
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer erweiterten Zusammenfassung von ca. einer Seite bis spätestens 30. März 2001 möglichst per EMail an
Dr. Wolfgang Goerigk ( wg@informatik.uni-kiel.de )
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7274, Fax: ++49 (431) 880-7613
Anmeldung |
Ihre verbindliche Anmeldung zur Teilnahme an dem Workshop senden Sie bitte bis zum 27. April 2001 per EMail, Fax oder Post ebenfalls an die oben angegebenen Adresse. Ein Anmeldeformular liegt ebenfalls als Postscript-Vordruck und in Form eines Ascii-Textes vor.
Wichtige Termine |
| 30. März 2001 | Einreichung von Zusammenfassungen |
| 27. April 2001 | Anmeldung zum Workshop |
| 7.-9. Mai 2001 | Workshop im Physikzentrum Bad Honnef |
Proceedings
Einladung zur Mitgliedervollversammlung
Die ordentliche Mitgliedervollversammlung der GI-Fachgruppe 2.1.4 findet wiederum zeitgleich mit dem jährlichen Workshop im Physikzentrum Bad Honnef statt. Hierzu lade ich alle Mitglieder herzlich ein:
Ort:
- Physikzentrum Bad Honnef
Zeit:
- Dienstag, 8. Mai 2001, 19.00 Uhr
Tagesordnung:
- TOP 1 : Genehmigung der Tagesordnung
- TOP 2 : Genehmigung des Protokolls
- TOP 3 : Bericht des Sprechers
- TOP 4 : Wahl des Sprechers und eines Stellvertreters
- TOP 5 : Veranstaltungen
- TOP 6 : Verschiedenes
gez. Wolfgang Goerigk
Sprecher der Fachgruppe
Programm
| Montag, 7. Mai 2001 | ||
| 10:45 | Begrüßung (W. Goerigk, E. Pulvermüller, A. Speck) | |
| 11:00 | 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 | Bernd Brassel, Michael Hanus, Frank Steiner (RWTH Aachen, Univ. Kiel) Embedding Processes in a Declarative Programming Language | |
| Michael Weber (RWTH Aachen) HaskellMPI - Programmieren paralleler Programme in Haskell | ||
| Volker Stolz, Frank Huch (RWTH Aachen) Robuste verteilte Programmierung in Haskell | ||
| Dienstag, 8. Mai 2001 | ||
| 09:00 | Michael Franz (University of California at Irvine) Distributing and Managing Mobile Code | |
| 09:45 | Sergio Antoy1, Michael Hanus2, Bart Massey1, Frank Steiner2, (1Portland State Univ., 2Univ. 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 | |
| ||