17. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte
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 erstmals von der neuen Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" veranstaltet, die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner" hervorgegangen ist.
Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte. 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 Softwarekomponenten oder komponentenbasierter Softwareentwicklung. Von Interesse ist dieses Thema dabei insbesondere aus Sicht der unterschiedlichen Programmiersprachparadigmen.
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. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer erweiterten Zusammenfassung von ca. einer Seite bis spätestens 7. April 2000 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 Anmeldung zur Teilnahme an dem Workshop senden Sie bitte bis zum 21. April 2000 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 |
| 7. April 2000 | Einreichung von Zusammenfassungen |
| 21. April 2000 | Anmeldung zum Workshop |
| 8.-10. Mai 2000 | 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, 9. Mai 2000, 19.00 Uhr
Tagesordnung:
- TOP 1 : Genehmigung der Tagesordnung
- TOP 2 : Genehmigung des Protokolls
- TOP 3 : Bericht des Sprechers
- TOP 4 : Vertretung der FG im Fachbereich 2
- TOP 5 : Beschluss ueber die Satzung der neuen gemeinsamen FG
- TOP 6 : Veranstaltungen
- TOP 7 : Verschiedenes
Zu TOP 5 finden Sie hier eine Postscript-Version des Vorschlags der Fachgruppenleitung zur neuen Satzung der gemeinsamen Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte". Bis auf die grün eingefärbten Passagen enspricht diese der alten Satzung der Fachgruppe 2.1.4.
gez. Wolfgang Goerigk
Sprecher der Fachgruppe
Programm
| Montag, 8. Mai 2000 |
11.00 - 12.30 Uhr
| Begrüßung (W. Goerigk) |
| Arnd Poetzsch-Heffter (FernUniversität Hagen) Dynamic Components as Semantic Entities: Concept and Static Support |
| Peter H. Fröhlich (University of California at Irvine) Component-Oriented Languages: Messages vs. Methods, Modules vs. Types |
*** 12.30-14.00 Mittagspause ***
14.00 - 15.15 Uhr
| Oliver Rüthing, Jens Knoop , Bernhard Steffen (Universität Dortmund) Space-Sensitive Partial Redundancy Elimination |
| Nils Gruschka (Universität Kiel) Programmierung mit Entwurfsmustern - Eine Fallstudie in einem industriellen Umfeld |
*** 15.15-15.45 Kaffeepause ***
15.45 - 17.30 Uhr
| Andreas Speck, Elke Pulvermüller (Universität Tübingen) Component Frameworks für Software Generatoren |
| Asuman Sünbül (TU Berlin) Architectural Design of Component Composition Using First Class Connectors |
| Matthias Anlauff (GMD First Berlin) A Component Concept for Abstract State Machines |
Dienstag, 9. Mai 2000 |
9.00 - 10.45 Uhr
| Michael Hanus (Universität Kiel) Web Server Programming in Curry |
| Herbert Kuchen (Universität Münster) Implementierung eines objektorientierten Entwurfs in der funktional-logischen Sprache Curry |
| Wolfgang Lux (Universität Münster) Adding Linear Constraints over Real Numbers to Curry |
*** 10.45 - 11.15 Kaffeepause ***
11.15 - 12.25 Uhr
| Frank Steiner (Universität Kiel) A Difference-List Transformation for Functional Logic Languages |
| Olaf Chitil (RWTH Aachen) Deforestation von funktionalen Programmen durch Typinferenz |
*** 12.30-14.00 Mittagspause ***
14.00 - 15.10 Uhr
| Walter Dosch (Med. Universität Lübeck) Refining Infinite Stream Behaviours |
| Rudolf Berghammer (Universität Kiel) Ein generisches Programm für inklusionsminimale Teilmengen |
ab 15.10 Uhr Kaffeepause
und eine gemeinsame Unternehmung
ab 19.00 Uhr
Mitgliederversammlung der Fachgruppe 2.1.4
| Mittwoch, 10. Mai 2000 |
9.00 - 10.45 Uhr
| Hermann von Issendorff (Hemmoor) Gibt es eine Genom-Programmiersprache? |
| Oliver Rüthing, Markus Müller-Olm (Universität Dortmund) On the Complexity of Constant Propagation |
| Markus Müller-Olm (Universität Dortmund) The Complexity of Faint Code Elimination in Parallel Programs |
*** 10.45 - 11.15 Kaffeepause ***
11.15 - 13.00 Uhr
| Markus Mohnen (RWTH Aachen) Interfaces with Skeletal Implementations in Java |
| Harold Boley (DFKI GmbH Kaiserslautern) The Relational-Functional Markup Language RFML |
| Frank Huch (RWTH Aachen) Model Checking für Erlang Programme - Abstraktion der kontextfreien Struktur |
13.00 Mittagessen und Ende des Workshops