28. 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. Das Zimmer im Physikzentrum werden zur Zeit von GRund auf saniert, so dass leider insgesamt nur 40 Betten zur Verfügung stehen, welche wir uns mit den parallel stattfindenen Workshop gerecht teilen müssen. Weitere Teilnehmer müssen leider in einem nahe gelegenen Hotel (Avendi oder Seminaris 600 Meter entfernt) übernachten. Je nach gewählter Übernachtung ergeben sich folgende Preise: Vollpension 67,- EUR pro Tag mit Übernachtung im Physikzentrum Tagesgastpauschale 42,- EUR Vollpension 108,- EUR pro Tag mit Übernachtung im Hotel. Abrechnung im Physikzentrum Zusätzlich ist am Dienstag Abend (3.5.) ein Conference Diner geplant, für das Kosten in Höhe von 12,- EUR entstehen. Alle 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 19. April 2011 möglichst per EMail an
Frank Huch (fhu@informatik.uni-kiel.de)
Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7277
Fax: ++49 (431) 880-7613
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 15. April 2011 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
15. April 2011 | Anmeldung zum Workshop |
19. April 2011 | Einreichung von Zusammenfassungen |
2.-4. Mai 2011 | Workshop im Physikzentrum Bad Honnef |
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, 2. Mai 2011, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht des Sprechers
- TOP 4: Veranstaltungen
- TOP 5: Verschiedenes
gez. Frank Huch
Sprecher der Fachgruppe
Dateien
Programm
Montag, 2. Mai 2010
11:15 - 12.30 Uhr
- Begrüßung (Frank Huch, Universität zu Kiel)
- Christian Heinlein (Hochschule Aalen)
Drei Dinge braucht ein generischer Operator: explizite, implizite und deduzierte Parameter - Viktor Pavlu (Universität Wien)
Implementation of the BOLARE Programming Language
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Axel Simon (TU München)
Designing Modular Type Inferences with Subtyping and Principal Typings - Daniel Seidel (Universität Bonn)
Improvements for free - Janis Voigtländer (Universität Bonn)
Striktifizierung zirkulärer Programme (Folien)
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Sebastian Fischer (NII Tokyo)
Shortcut Fusion with Dirstibutive Structures - Volker Stolz (University of Oslo)
Deadlock checking by a behavioral effect system for lock handling - Oleg Lobachev (Philipps-Universität Marburg )
Implementierung paralleler Software: Fallstudien der Skelett-basierten Parallelisierungλ type system (Folien)
18.00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Dienstag, 3. Mai 2010
9.00 - 10.30 Uhr
- Jakob Zwirchmeyer (Universität Wien)
Symbolic Loop Bound Computation for WCET Analysis - Jens Knoop (Universität Wien)
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code - Carl Friedrich Bolz (Universität Düsseldorf)
Allocation Removal by Partial Evaluation in a Tracing JIT
10.30 - 11.00 Kaffeepause
11.00 - 12.00 Uhr
- Stefan Wehr (factis research GmbH, Freiburg)
Zwei Fliegen mit einer Klappe: Bidirektionales Serialisieren und Deserialisieren - Robert Glück (Universität Kopenhagen)
Report on a Self-applicable Online Partial Evaluator for a Recursive Flowchart Language
12.00-13.00 Mittagspause
13.00 - 14.00 Uhr
- Tom Schreiber (Universität Tübungen)
Ferry -- Database-Supported Program Execution - Herbert Kuchen (Universität Münster)
Logic Java: Kombination von Objekt-Orientierter und Logischer Programmierung
14.30 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
Mittwoch, 4. Mai 2010
9.00 - 10.30 Uhr
- Baltasar Tracon y Widemann und Markus Lepper (Universität Bayreuth)
tSig: typisierte Signalerzeugung -- Über den Datenfluss und in die Syntaxwälder - Björn Peemöller und Fabian Reck (Universität zu Kiel)
KICS2: A New Compiler from Curry to Haskell
10.30 - 11.00 Kaffeepause
11.00 - 12.00 Uhr
- Martin Plümicke (DHBW Stuttgart)
Well-typings for Java_lambda - Michael Leuschel (Universität Düsseldorf)
Specifying and Solving Constraint Satisfaction Problems in B
12.30 Mittagessen und Ende des Workshops