19. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte
Beschreibung
Einladung |
Seit 1984 veranstaltet die GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner" hervorgegangen ist, regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. 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
|
|
Beiträge aus Ihren Arbeitsgruppen auch zu anderen Themen sind ebenso willkommen. 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 EURO 5,50 berechnet das Haus zur Zeit für die Vollpension EURO 35,- pro Tag (für Studenten EURO 25,-), für Übernachtung mit Frühstück EURO 22,50 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 nicht mehr als einer Seite bis spätestens 7. April 2002 möglichst per EMail an
PD 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 19. April 2002 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 2002 | Einreichung von Zusammenfassungen |
| 19. April 2002 | Anmeldung zum Workshop |
| 6.-8. Mai 2002 | Workshop im Physikzentrum Bad Honnef |
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, 7. Mai 2002, 19.00 Uhr
Tagesordnung:
- TOP 1 : Genehmigung der Tagesordnung
- TOP 2 : Genehmigung des Protokolls
- TOP 3 : Bericht des Sprechers
- TOP 4 : Neuwahl eines stellvertretenden Sprechers
- TOP 5 : Veranstaltungen
- TOP 6 : Verschiedenes
gez. Wolfgang Goerigk
Sprecher der Fachgruppe
Programm
| Montag, 6. Mai 2002 |
11.30 - 12.30 Uhr
| Begrüßung (W. Goerigk) |
| Wolfgang Goerigk (derzeit Univ. Gießen) Über den Bau korrekter Übersetzer: Probleme und Lösungen |
*** 12.30-14.00 Mittagspause ***
14.00 - 15.30 Uhr
| Wolfgang Gellerich (IBM Deutschland) Maschinennahe Programmierung mit PL8 - die GNU Compiler Collection GCC im Einsatz bei IBM |
| Michael Franz (Univ. of California, Irvine) Sicherheit "per Konstruktion" |
*** 15.30-16.00 Kaffeepause ***
16.00 - 17.30 Uhr
| Volker Stolz (RWTH Aachen) Java Bytecode Generierung im Rahmen eines Softwarepraktikums in Haskell |
| Markus Mohnen (RWTH Aachen) A Graph-Free Approach to Data-Flow Analysis |
| Dienstag, 7. Mai 2002 |
9.00 - 10.30 Uhr
| Ulrich Hoffmann (Heidelberger Druckmaschinen AG, Kiel) Über programmgestützten Unit Test von CORBA Komponenten |
| Dirk Draheim, Christof Lutteroth, Gerald Weber (FU Berlin) Vergleichende Analyse von Technologien der generativen Programmierung |
*** 10.30 - 11.00 Kaffeepause ***
11.00 - 12.30 Uhr
| Hermann von Issendorff (Hemmoor) Physikalische Grundlagen der Datenverarbeitung |
| Thomas Böttcher, Frank Huch (RWTH Aachen, Univ. Kiel) Ein Debugger fuer Concurrent Haskell |
*** 12.30-14.00 Mittagspause ***
ab 14.00 Uhr Kaffee
und eine gemeinsame Unternehmung
ab 19.00 Uhr
Mitgliederversammlung der Fachgruppe 2.1.4
| Mittwoch, 8. Mai 2002 |
9.00 - 10.30 Uhr
| Herbert Kuchen (Univ. Münster) A Skeleton Library |
| Rafael Caballero, Wolfgang Lux (Univ. Madrid, Univ. Münster) Declarative Debugging for Encapsulated Search |
*** 10.30 - 11.00 Kaffeepause ***
11.00 - 12.30 Uhr
| Michael Hanus (Univ. Kiel) |
| Michael Hanus, Klaus Höppner (Univ. Kiel) Programmierung von autonomen Robotern in Curry |
12.30 Mittagessen und Ende des Workshops