34. 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.
Einladung (ASCII)
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 den letztjährigen Preisen orientieren, die sich als Summe aus Übernachtungskosten und einer Tagungspauschale ergeben: Wir versuchen möglichst viele Teilnehmer im Physikzentrum unterzubringen. Alle Kosten müssen von den Teilnehmern bitte vor Ort am Abreisetag in bar, mit EC- oder mit Kreditkarte bezahlt werden. 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 Veranstaltungstickets deutschlandweit ab 49,50 EUR pro Richtung an. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spätestens 28. April 2017 möglichst per EMail an
Baltasar Trancón Widemann (baltasar.trancon@tu-ilmenau.de)
Fakultät für Informatik und Automatisierung
TU Ilmenau
und
Jens Knoop (knoop@complang.tuwien.ac.at)
Fakultät für Informatik
TU Wien
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 28. April 2017 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 28. April 2017 | Anmeldung zum Workshop |
| 28. April 2017 | Einreichung von Zusammenfassungen |
| 8.-10. Mai 2017 | Workshop im Physikzentrum Bad Honnef |
| 9. Mai 2017 | 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, 9. Mai 2017, 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
Programm
Montag, 8. Mai 2017
10:20–10:30 Begrüßung (Jens Knoop, Baltasar Trancón Widemann)
10:30–12:30 Software Engineering (Sitzungsleitung: Christian Heinlein)
- Marcellus Siegburg (Universität Kiel)
Formalisierung einer Sprache für Testfälle für Simulink-Modelle zur Verifikation von Modelleigenschaften - Joshua Schmidt (Universität Düsseldorf)
Reparatur und Generierung formaler Modelle mittels Software Synthese - Jens Knoop (Technische Universität Wien)
tba
12:30–14:00 Mittagspause
14:00–15:30 Java (Sitzungsleitung: Herbert Kuchen)
- Andreas Stadelmeier (Duale Hochschule Stuttgart/Horb)
Wann es sich lohnt ein Programm zweimal zu schreiben - Martin Plümicke (Duale Hochschule Stuttgart/Horb)
tba - Baltasar Trancón Widemann (semantics GmbH Berlin)
LLJava: Kleine Brötchen backen auf der JVM
15:30–16:00 Kaffeepause
16:00–17:00 Syntax (Sitzungsleitung: Jens Knoop)
- Baltasar Trancón Widemann (semantics GmbH Berlin)
Hinteransichten eines Syntaxanalysewerkzeugs - Christian Heinlein (Hochschule Aalen)
Benutzerdefinierbare Kommentare, Zwischenräume und Literale in MOSTflexiPL
18:00 Uhr Abendessen
Dienstag, 9. Mai 2017
9:00–11:00 Typen & Daten (Sitzungsleitung: Baltasar Trancón Widemann)
- Sandra Dylus (Universität Kiel)
Modelling Haskell Programs using the Freer Monad - Philipp Körner (Universität Düsseldorf)
plspec: Eine Spezifikationssprache für Daten in Prolog - Peter Thiemann (Universität Freiburg)
Interleaving Sessions with Predicates - Clemens Grelck (Universität Amsterdam)
Functional Array Programming for Cluster Architectures
11:00–11:30 Kaffeepause
11:30 Mitgliederversammlung
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
12:30–14:00 Mittagspause
ab 14:00 Uhr Gemeinsame Wanderung/Exkursion
18:00 Uhr Conference Dinner
Mittwoch, 10. Mai 2017
9:00–11:00 Logisches (Sitzungsleitung: Peter Thiemann)
- Jan C. Dageförde (Universität Münster)
Muli: Constraint-Programmierung in Java auf symbolischer JVM - Finn Teegen (Universität Kiel)
Implementation of Type Classes and Type Constructor Classes for PAKCS and KiCS2 - Jan Rasmus Tikovsky (Universität Kiel)
Towards Concolic Testing for Curry - Michael Leuschel (Universität Düsseldorf)
Encoding the Crowded Chessboard Puzzle in SAT, SMT, CLP and B
11:00–11:30 Kaffeepause
11:30–12:30 Offene Demos
12:30 Mittagessen und Ende des Workshops