27. 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 62,- EUR pro Tag (bei externer Unterbringung: 42,- EUR für die Vollpension). Zusätzlich ist am Dienstag Abend (4.5.) ein Conference Diner geplant, für das Kosten in Höhe von 12,- 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) bis spätestens 12. April 2010 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 12. April 2010 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 12. April 2010 | Einreichung von Zusammenfassungen |
| 12. April 2010 | Anmeldung zum Workshop |
| 3.-5. Mai 2010 | 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:
- Montag, 3. Mai 2010, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht des Sprechers
- TOP 4: Wahl der Fachgruppenleitung
- TOP 5: Veranstaltungen
- TOP 6: Verschiedenes
gez. Michael Hanus
Sprecher der Fachgruppe
Dateien
Programm
Montag, 3. Mai 2010
10:15 - 12.30 Uhr
- Begrüßung (Michael Hanus, CAU Kiel)
- Konrad Anton (Universität Freiburg)
Typing Coroutines - Bernd Braßel (Universität Kiel)
Using Haskell's Type Systems to Check Relation Algebraic Programs - Jan Christiansen (Universität Kiel)
Minimally Strict Polymorphic Functions - Janis Voigtländer (Universität Bonn)
Combining Syntactic and Semantic Bidirectionalization
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Carl Friedrich Bolz (Universität Düsseldorf)
Towards a Jitting VM for Prolog Execution - Clemens Grelck (Universiteit van Amsterdam)
An Adaptive Compilation Framework for Data Parallel Programming in SAC - Sebastian Fischer (Universität Kiel)
Reguläres Ausdruckstheater
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Christian Heinlein (Hochschule Aalen)
Nahtlose und effiziente Integration großer Zahlen in eine Programmiersprache - Beate Ritterbach (Universität Hamburg)
Werttypen in objektorientierte Programmiersprachen - Martin Plümicke (Duale Hochschule Baden-Württemberg)
Formalization of the Javaλ type system
18.00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Dienstag, 4. Mai 2010
9.00 - 10.30 Uhr
- Herbert Kuchen (Universität Münster)
E-Assessment kreativer Prüfungsleistungen - Georg Sauthoff (Universität Bielefeld)
A new language for algebraic dynamic programming - Robert Glück (Universität Kopenhagen)
An experiment with the fourth Futamura projection
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Wolfgang Jeltsch (Brandenburgische Technische Universität Cottbus)
Signale statt Generatoren! - Annette Bieniusa (Universität Freiburg)
Twilight STM in Haskell - Baltasar Trancon y Widemann (Universität Bayreuth)
Praktisches totales funktionales Programmieren im Church-Stil
12.30-14.00 Mittagspause
14.00 Uhr Gemeinsame Wanderung
Mittwoch, 5. Mai 2010
9.00 - 10.30 Uhr
- Jens Knoop (TU Wien)
Towards an Orchestrated Approach for Annotation Verification - Jakob Zwirchmayr (Technische Universität Wien)
Smacc: An SMT Memory Model and Assertion Checker for C - Volker Stolz (UiO / UNU-IIST)
rCOS - Modellierung und Entwicklung komponentenbasierter Systeme mit formalen Methoden
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Daniel Seidel (Universität Bonn)
Erweiterung der Containerdarstellung von Listen mittels Relationen - Rudolf Berghammer (Universität Kiel)
A functional and successor list based version of Warshall's algorithm - Fabian Reck (Universität Kiel)
Transforming Functional Logic Programs into Monadic Functional Programs
12.30 Mittagessen und Ende des Workshops
Bilder

