22. 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 in Bad Honnef statt. Es können bis zu 60 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension EURO 44,- pro Tag (bei externer Unterbringung: EURO 33,- für die Vollpension und eine einmalige Tagungsgebühr von EURO 10,-), für Übernachtung mit Frühstück EURO 33,- pro Tag, die von den Teilnehmern bitte vor Ort bar bezahlt werden, weil das Haus leider keine Kredit- oder Scheckkarten akzeptieren kann. Zusätzlich ist an einem Abend ein Conference Diner geplant, für das Kosten in Höhe von Euro 7,- entstehen. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite bis spätestens 18. April 2005 möglichst per EMail an
Dr. Frank Huch (fhu@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-7277, Fax: ++49 (431) 880-7613
Anmeldung |
Ihre Anmeldung zur Teilnahme an dem Workshop senden Sie bitte bis zum 22. April 2005 per EMail, Fax oder Post ebenfalls an die oben angegebenen Adresse. Ein Anmeldeformular liegt ebenfalls als PDF-Vordruck und in Form eines ASCII-Textes vor.
Wichtige Termine |
| 18. April 2005 | Einreichung von Zusammenfassungen |
| 22. April 2005 | Anmeldung zum Workshop |
| 2.-4. Mai 2005 | 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, 3. Mai 2005, 20.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls
- TOP 3: Bericht des Sprechers
- TOP 4: Veranstaltungen
- TOP 5: Verschiedenes
gez. Michael Hanus
Sprecher der Fachgruppe
Programm
| Montag, 2. Mai 2005 |
14.00 - 15.30 Uhr
- Begrüßung (Frank Huch, Univ. zu Kiel)
- Elke Tetzner (Univ. Rostock)
Spezifikation und Verifikation in Dokumentverwaltungs- und Beratungssystemen auf der Grundlage Hybrider Automaten - Nicole Rauch (Univ. Kaiserslautern)
Formal Result Checking for Unverified Theorem Provers - Michael Weber (RWTH Aachen)
A Virtual Machine for State Space Generation
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Matthias Neubauer (Univ. Freiburg)
Static Scheduling of Sequential Multi-Tier Applications - Baltasar Trancón y Widemann (TU Berlin)
Ein striktes coalgebraisches Berechnungsmodell - Werner Kluge (Univ. zu Kiel)
Fully Normalizing Lambda Calculus Machines
| Dienstag, 3. Mai 2004 |
9.00 - 10.30 Uhr
- Hermann von Issendorff (Hemmoor)
Über die formale Beschreibung räumlicher Netze - Herbert Kuchen (Univ. Münster)
Performanzvorhersage für Algorithmische Skelette - Michael Poldner (Univ. Münster)
Über das Implementieren von Farm-Skeletten
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Walter Dosch (Univ. zu Lübeck)
Interaktive Datenstrukturen - Klaus Höppner (Univ. zu Kiel)
Deklarative Programmentwicklung für Eingebettete Systeme - Bernd Brassel (Univ. zu Kiel)
Curry To Haskell - Erste Ideen für einen Compiler
12.30-14.00 Mittagspause
14.00 - 16.00 Uhr
- Eric Bodden, Volker Stolz (RWTH Aachen)
Temporal Assertions using AspectJ - Michael Franz (University of California, Irvine)
Gedanken zur Java Bytecode Verifikation - Arnd Poetzsch-Heffter (TU Kaiserslautern)
Modular Invariants for Layered Object Structures - Wolfgang Goerigk (Univ. zu Kiel)
On Simulation of Nested Procedures by Nested Classes
16.00 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
20.00 Uhr
- Mitgliederversammlung der Fachgruppe 2.1.4
| Mittwoch, 4. Mai 2004 |
9.00 - 10.30 Uhr
- Frank Huch (Univ. zu Kiel)
A Pattern Logic for Lazy Assertions in Haskell - Clemens Grelck (Univ. zu Lübeck)
With-Loop Fusion Britta Kehden (Univ. zu Kiel)
Relational Implementation of Simple Parallel Evolutionary Algorithms
10.30 - 11.00 Kaffeepause
11.00 - 12.00 Uhr
- Ulrich Hoffmann (Eckernförde)
Modell-basierte Software-Entwicklung mit OpenArchitectureWare - Christian Heinlein (Univ. Ulm)
Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance
12.30 Mittagessen und Ende des Workshops