26. 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 55,- EUR pro Tag (bei externer Unterbringung: 37,- EUR für die Vollpension). Zusätzlich ist am Dienstag Abend (5.5.) ein Conference Diner geplant, für das Kosten in Höhe von 11,- 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 15. April 2009 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 2009 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
15. April 2009 | Einreichung von Zusammenfassungen |
15. April 2009 | Anmeldung zum Workshop |
4.-6. Mai 2009 | 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, 4. Mai 2009, 18.15 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
Dateien
Programm
Montag, 4. Mai 2009
10:00 - 12.30 Uhr
- Begrüßung (Michael Hanus, CAU Kiel)
- Janis Voigtländer (TU Dresden)
Free Theorems Involving Type Constructor Classes - Jan Christiansen (Christian-Albrechts-Universität zu Kiel)
Strict Observations - Tim A. Majchrzak (Universität Münster)
Using Coverage Analysis to Automatically Generate Test Cases - Patrick Michel (Universität Kaiserslautern)
Assertion Support for Manipulating Constrained Data-Centric XML - Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
Äquivalenzanalysen - exakt oder nicht - im Vergleich
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Christian Kästner (Universität Magdeburg)
Sichere Produktlinien: Herausforderungen für Syntax- und Typ-Prüfungen - Christian Hammer (Universität Karlsruhe)
Informationsflussanalyse für Java - Rebekka Neumann (Universität Paderborn)
Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Baltasar Trancón y Widemann (Universität Bayreuth)
Church vs. Curry - Robert Glück (Universität Kopenhagen)
Reversible Programming Languages - Ulrich Hoffmann (Fachhochschule Wedel)
Hardware/Software-Codesign mit dem MicroCore-Prozessor - Hermann von Issendorff
Zur Programmierung raumzeitlicher diskreter Systeme
18.15 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Dienstag, 5. Mai 2009
9.00 - 10.30 Uhr
- Peter Thiemann (Universität Freiburg)
Recency Types for JavaScript - Fabian Reck (Christian-Albrechts-Universität zu Kiel)
Ein graphischer Debugger für Haskells Software Transactional Memory - Annette Bieniusa (Universität Freiburg)
Actions in the Twilight: Eine Erweiterung zu Software Transactional Memory
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Adrian Prantl (TU Wien)
Augmenting Programs with Analysis Results - Carl Friedrich Bolz (Universität Düsseldorf)
Tracing the Meta-Level: PyPy's Tracing JIT Compiler - Stefan Brunthaler
Optimizing High Abstraction-Level Interpreters
12.30-14.00 Mittagspause
14.00 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
Mittwoch, 6. Mai 2009
9.00 - 10.30 Uhr
- Yannick Welsch (Universität Kaiserslautern)
Compatibility Criteria for Java Packages - Stefan Wehr (Universität Freiburg)
JavaGI: bessere Interfaces für Java - Christian Heinlein (Hochschule Aalen)
Zutaten für erweiterbare Programmiersprachen
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Bernd Braßel (Christian-Albrechts-Universität zu Kiel)
Proposing Order-Sorted Algebra as Foundation for Declarative Programming - Michael Leuschel (Universität Düsseldorf)
Fast and Accurate Strong Termination Analysis - Sebastian Fischer (Christian-Albrechts-Universität zu Kiel)
Funktionaler fauler Nichtdeterminismus
12.30 Mittagessen und Ende des Workshops