31. 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. Auf Grund beschränkter Zimmerkapazitäten im Physikzentrum, müssen eventuell einige Tagungsteilnehmer extern untergebracht werden. Die Preise für Tagungsteilnahme, Übernachtung und Verpflegung werden in den nächsten Tagen noch aktualisiert werden. Als Größenordung können Sie sich aber schon mal an folgenden Preisen orientieren: Wir versuchen möglichst viele Teilnehmer im Physikzentrum unterzubringen. 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. Für die Anreise bietet die Deutsche Bahn für Reisen zu Tagungen der Deutschen Physikalische Gesellschaft in diesem Jahr einen Rabatt ein, der die An- und Abreise für 99 Euro ermöglicht. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spätestens 13. April 2014 möglichst per EMail an
Baltasar Trancon Widemann (baltasar.trancon@tu-ilmenau.de)
Fakultät für Informatik und Automatisierung
TU Ilmenau
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 9. April 2014 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 9. April 2014 | Anmeldung zum Workshop |
| 13. April 2014 | Einreichung von Zusammenfassungen |
| 28.-30. April 2014 | 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:
- Dienstag, 29. April 2014, 11.30 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht der stellvertretenden Sprecher
- TOP 4: Veranstaltungen
- TOP 5: Verschiedenes
gez. Jens Knoop
Sprecher der Fachgruppe
Dateien
Programm
Montag, 28. April 2014
10:20–12:30 Uhr
- Begrüßung (Baltasar Trancón Widemann und Janis Voigtländer)
- Sebastian Fischer (Universität Kiel)
Backtracking in unterschiedlichen Programmierparadigmen - Frank Huch (Universität Kiel)
Stolpersteine bei der Integration funktionaler Konzepte in die imperative Programmierung - Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
Typinferenz für Java 8 als Eclipse Plugin - Martin Plümicke (Duale Hochschule Baden-Württemberg)
Generic instances in Java Byte Code
12:30–14:00 Mittagspause
14:00–15:30 Uhr
- Folke Will (Universität Kiel)
Kianxali: Kieler Analyzer for Executables and Libraries - Markus Lepper (semantics GmbH)
Translets: a lightweight parser combinator library - Christian Heinlein (Hochschule Aalen)
Übersetzung von MOSTflexiPL nach PostScript
15:30–16:00 Kaffeepause
16:00–17:30 Uhr
- Björn Peemöller (Universität Kiel)
A Partial Evaluator for FlatCurry - Jan Rasmus Tikovsky (Universität Kiel)
Solving FD constraints incrementally using KiCS2 - Stefan Mehner (Universität Bonn)
Parametrizität und freie Theoreme für Curry
18:30 Uhr Abendessen
Dienstag, 29. April 2014
9:00–10:30 Uhr
- Carl Friedrich Bolz (King's College London)
Unipycation: A Case Study in Cross-Language Tracing - Clemens Grelck (Universität Amsterdam)
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC - Baltasar Trancón Widemann (Technische Universität Ilmenau)
The Sound of Coinduction
10:30–11:00 Kaffeepause
11:00–11:30 Uhr
- Gergö Barany (Technische Universität Wien)
Python Interpreter Performance Deconstructed
11:30 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
bis 12:30 Uhr
- Offene verteilte Demo-Runde
12:30–14:00 Mittagspause
ab 14:00 Uhr Gemeinsame Wanderung/Exkursion
18:30 Uhr Conference Dinner
Mittwoch, 30. April 2014
9:00–10:30 Uhr
- Nikita Danilenko (Universität Kiel)
Searching Disjoint Paths Functionally - David Schneider (Universität Düsseldorf)
Towards B as a High-Level Constraint Modelling Language – Solving the Jobs Puzzle Challenge - Volker Stolz (Universität Oslo)
Extending abstract behavioral specifications with Erlang-style error handling
10:30–11:00 Kaffeepause
11:00–12:30 Uhr
- Tobias Gödderz (Universität Bonn)
Automatisiertes Testen einer Operationsinvarianz - Helmut Grohne (Universität Bonn)
Korrektheit einer Bidirektionalisierung mit Agda - Martin Steffen (Universität Oslo)
A type and effect system for deadlock detection and its formalization in Ott and Coq
12:30 Mittagessen und Ende des Workshops