32. 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 an folgenden Preisen orientieren, die sich als Summe der Übernachtungskosten und einer Tagungspauschale ergeben: 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 und zusätzlich 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 15. April 2015 möglichst per EMail an
Baltasar Trancón Widemann (baltasar.trancon@tu-ilmenau.de)
Fakultät für Informatik und Automatisierung
TU Ilmenau
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 15. April 2015 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 15. April 2015 | Anmeldung zum Workshop |
| 15. April 2015 | Einreichung von Zusammenfassungen |
| 4.-6. Mai 2015 | Workshop im Physikzentrum Bad Honnef |
| 5. Mai 2015 | Mitgliedervollsammlung der Fachgruppe 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, 5. Mai 2015, 11.30 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. Jens Knoop
Sprecher der Fachgruppe
Dateien
Programm
Montag, 4. Mai 2015
10:20–10:30 Uhr: Begrüßung (Jens Knoop, Baltasar Trancón Widemann und Janis Voigtländer)
10:30–12:00 Uhr (Sitzungsleitung: Jens Knoop)
- Nikita Danilenko (Universität Kiel)
A Relational map Function - Helmut Grohne (Universität Bonn)
Induktive Programsynthese mit Igor2 - Christian Heinlein (Hochschule Aalen)
Parallele Programmierung mit MOSTflexiPL
12:30–14:00 Mittagspause
ab 14:00 Uhr Gemeinsame Wanderung/Exkursion
18:30 Uhr Abendessen
Dienstag, 5. Mai 2015
9:00–10:30 Uhr (Sitzungsleitung: Christian Heinlein)
- Stefan Mehner (Universität Bonn)
Fold/Build-Fusion für Curry - Jan Rasmus Tikovsky (Universität Kiel)
Implementation of Haskell-like Records for Curry - Volker Stolz (Høgskolen i Bergen)
Search-based Composed Refactorings
10:30–11:00 Kaffeepause
11:00–12:30 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
- Offene verteilte Demo-Runde
12:30–14:00 Mittagspause
14:000–15:30 Uhr (Sitzungsleitung: Janis Voigtländer)
- Carl Friedrich Bolz (King's College London)
A JIT for SQLite - Jens Knoop (TU Wien)
Towards Transparent Worst-Case Execution Time Optimization - Michael Schröder (TU Wien)
Transactional Memory with Finalizers
15:300–16:00 Kaffeepause
16:000–17:00 Uhr (Sitzungsleitung: Carl Friedrich Bolz)
- Markus Lepper (semantics GmbH)
TPath und TXSL - Baltasar Trancón y Widemann (TU Ilmenau)
While Shepards Watched Their Flocks At Night — Dynamische Datenflussprogrammierung mit Sig
18:30 Uhr Conference Dinner
Mittwoch, 6. Mai 2015
9:00–10:30 Uhr (Sitzungsleitung: Baltasar Trancón y Widemann)
- Sandra Dylus (Universität Kiel)
Steigt der Hamburger SV ab? - David Schneider (Universität Düsseldorf)
Model-Based Problem Solving for University Timetable Validation and Improvement - Anna-Katharina Wickert (TU Darmstadt)
BAN-Analyse des Authentifizierungs-Schlüssels im MTProto Mobile Protocol
10:30–11:00 Kaffeepause
11:00–12:30 Uhr (Sitzungsleitung: Carl Friedrich Bolz)
- Eric Bodden (Fraunhofer SIT / TU Darmstadt)
Harvesting Runtime Data in Obfuscated Android Applications - Herbert Kuchen (Universität Münster)
Überprüfung von Java-Assertions - Martin Plümicke (DHBW Stuttgart)
Introducing Scala-like functional interfaces into Java
12:30 Mittagessen und Ende des Workshops
Bilder

