24. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
Beschreibung
Einladung |
Seit 1984 veranstaltet die GI-Fachgruppe "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 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension 51,- EUR pro Tag (bei externer Unterbringung: 35,- EUR für die Vollpension). Zusätzlich ist am Donnerstag Abend ein Conference Diner geplant, für das Kosten in Höhe von 10,- EUR entstehen. Die Kosten müssen von den Teilnehmern bitte vor Ort in bar oder mit EC-Karte bezahlt werden (die Bezahlung mit Kreditkarten ist leider nicht möglich). Die Erstellung der Rechnungen erfolgt auf Basis der Anmeldung (s.u.). Getränke sind getrennt abzurechnen. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF oder Postscript) bis spätestens 15. April 2007 möglichst per EMail an
Prof. Michael Hanus (mh@informatik.uni-kiel.de)
Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7271, Fax: ++49 (431) 880-7613
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 15. April 2007 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 15. April 2007 | Einreichung von Zusammenfassungen |
| 15. April 2007 | Anmeldung zum Workshop |
| 2.-4. Mai 2007 | Workshop im Physikzentrum Bad Honnef |
Proceedings
Einladung zur Mitgliedervollversammlung
Die ordentliche Mitgliedervollversammlung der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" 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:
- Mittwoch, 2. Mai 2007, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls
- TOP 3: Bericht des Sprechers
- TOP 4: Änderung der Satzung der Fachgruppe (bisherige Satzung)
- TOP 5: Wahl der Fachgruppenleitung
- TOP 6: Veranstaltungen
- TOP 7: Verschiedenes
gez. Michael Hanus
Sprecher der Fachgruppe
Dateien
Programm
Mittwoch, 2. Mai 2007
14.00 - 15.30 Uhr
- Begrüßung (Michael Hanus, CAU Kiel)
- Ulrich Hoffmann (Heidelberger Druckmaschinen AG)
Stack-basierte High-Level Programmiersprachen - Baltasar Trancón y Widemann (University of Limerick)
Tabular Expressions and Total Functional Programming - Peter Steffen (Universität Bielefeld)
Locomotif - a Graphical Programming System for RNA Motif Search
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Wolfgang Lux (Universität Münster)
Lifting Curry's Monomorphism Restriction - Bernd Braßel (CAU Kiel)
Towards A New Denotational Semantics For Curry - A Pointless Presentation - Jan Christiansen (CAU Kiel)
The Algebra of Curry - Hermann von Issendorff
AktonAlgebra - Programmierung diskreter physikalischer Systeme
18.00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Donnerstag, 3. Mai 2007
9.00 - 10.30 Uhr
- Markus Schordan (TU Wien)
Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions - Adrian Prantl (TU Wien)
Source-to-Source Transformations for WCET: The COSTA Approach - Ralf Lämmel (Microsoft)
Googles MapReduce Programming Model - Revisited
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Michael Hanus (CAU Kiel)
Putting Declarative Programming into the Web: Translating Curry to JavaScript - Phillip Heidegger (Universität Freiburg)
typebasierte Analysen für JavaScript - Martin Plümicke (Berufsakademie Stuttgart)
Formalisierung des Typsystems von Java 5.0
12.30-14.00 Mittagspause
14.00 - 16.00 Uhr
- Stefan Wehr (Universität Freiburg)
Design-by-Contract für funktionale Sprachen mit verzögerter Auswertung - Frank Huch (CAU Kiel)
Prompt, Lazy Assertions for Haskell - A Monadic Approach - Sebastian Fischer (CAU Kiel)
Systematisches Testen Logisch-Funktionaler Programme - Christian Hermanns (Universität Münster)
Deklaratives Debuggen von Java-Programmen
16.00 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
Freitag, 4. Mai 2007
9.00 - 10.30 Uhr
- Rudolf Berghammer (CAU Kiel)
Wiederverwendung am Beispiel des algebraischen Wegeproblems - SML und Haskell im Vergleich - Marc Fontaine, Michael Leuschel (Heinrich-Heine-Universität Düsseldorf)
Parsing and Validation of full CSP-M Specifications using Haskell and Prolog - Carl Friedrich Bolz (Heinrich-Heine-Universität Düsseldorf)
A flexible Prolog Interpreter in Python
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Carsten Kern (RWTH Aachen)
Synthesizing Design Models from Scenarios by Learning - Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
Slicing zur Modellreduktion von symbolischen Kellersystemen - Stefan Rieger (RWTH Aachen)
Verifying Concurrent List-Manipulating Programs by LTL Model Checking
12.30 Mittagessen und Ende des Workshops