21. 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 42,- pro Tag (für Studierende EURO 32,-), für Übernachtung mit Frühstück EURO 27,- pro Tag, die von den Teilnehmern bitte vor Ort bar bezahlt werden, weil das Haus leider keine Kredit- oder Scheckkarten akzeptieren kann. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite bis spätestens 14. April 2004 möglichst per EMail an
PD Dr. Wolfgang Goerigk ( wg@informatik.uni-kiel.de )
Institut für Informatik und Prakt. Math. der Christian-Albrechts-Universität 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 2004 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 |
| 14. April 2004 | Einreichung von Zusammenfassungen |
| 21. April 2004 | Anmeldung zum Workshop |
| 3.-5. Mai 2004 | 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, 4. Mai 2004, 17.30 Uhr
Tagesordnung:
- TOP 1 : Genehmigung der Tagesordnung
- TOP 2 : Genehmigung des Protokolls
- TOP 3 : Bericht des Sprechers
- TOP 4 : Wahl des Sprechers und zweier Stellvertreter
- TOP 5 : Veranstaltungen
- TOP 6 : Verschiedenes
gez. Wolfgang Goerigk
Sprecher der Fachgruppe
Programm
| Montag, 3. Mai 2004 |
14.00 - 15.30 Uhr
| Begrüßung (W. Goerigk) |
| Wolfram Lippe (Univ. Münster) Zur Geschichte der Rechenautomaten - Von der Antike bis zur Neuzeit |
| Walter Dosch (Univ. Lübeck) |
*** 15.30-16.00 Kaffeepause ***
16.00 - 17.30 Uhr
| Clemens Grelck (Univ. Lübeck) Generische Array-Programmierung mit SAC |
| Hermann von Issendorff (Hemmoor) |
Ulrich Hoffmann (Eckernförde)
|
| Dienstag, 4. Mai 2004 |
Christian Heinlein (Univ. Ulm) |
| Ralf Lämmel (Vrije Universiteit Amsterdam) |
| Christof Lutteroth (FU Berlin) Demonstration of Factory - A Java Extension for Generative Programming |
*** 10.30 - 11.00 Kaffeepause ***
11.00 - 12.30 Uhr
| Christoph Lembeck (Univ. Münster) |
| Roger A. Müller (Univ. Münster) |
| Nicole Rauch, Burkhart Wolff (Univ. Kaiserslautern, Univ. Freiburg) Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL |
*** 12.30-14.00 Mittagspause ***
ab 14.30 Uhr
Social Event
danach
Mitgliederversammlung der Fachgruppe 2.1.4
ab ca. 18.30 Uhr
Gemeinsames Conference-Dinner mit dem Reengineering-Workshop
| Mittwoch, 5. Mai 2004 |
Michael Hanus (Univ. Kiel) |
| Bernd Brassel, Michael Hanus, Frank Huch (Univ. Kiel) |
| Frank Huch, Bernd Brassel, Michael Hanus (Univ. Kiel) Tracing Curry by Program Transformation |
*** 10.30 - 11.00 Kaffeepause ***
11.00 - 12.00 Uhr
| Robert Giegerich, Peter Steffen (Univ. Bielefeld) Versatile and Declarative Dynamic Programming Using Pair Algebras |
| Matthias Neubauer (Univ. Freiburg) An Implementation of Session Types |
12.30 Mittagessen und Ende des Workshops