35. 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 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 wie 2017 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 13. April 2018 möglichst per EMail an
Baltasar Trancón Widemann (baltasar@trancon.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 13. April 2018 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
13. April 2018 | Anmeldung zum Workshop |
13. April 2018 | Einreichung von Zusammenfassungen |
2.-4. Mai 2018 | Workshop im Physikzentrum Bad Honnef |
3. Mai 2018 | 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:
- Donnerstag, 3. Mai 2018, 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
Mittwoch, 2. Mai 2018
10:20–12:30 Uhr
- Begrüßung (Jens Knoop, Peter Thiemann und Baltasar Trancón Widemann)
- Sitzung I: Test & Verifikation
- Peter Thiemann (Universität Freiburg)
Generating Tests for Regular Expression Engines - Jan Rasmus Tikovsky (Universität Kiel)
Instrumentation of Functional Logic Programs for Concolic Testing - Thomas Heinze (Universität Jens)
Schritte zu einer zertifizierten Taint-Analyse - Marcellus Siegburg (Universität Kiel)
Towards automatic verification of Matlab State Charts - Transforming state charts with requirements into SMT-LIB
12:30–14:00 Mittagspause
14:00–15:30 Uhr
- Sitzung II: Java
- Martin Plümicke (Duale Hochschule Baden-Württemberg)
Optimierung der Java Typunifikation - Andreas Stadelmeier (Duale Hochschule Baden-Württemberg)
Laufzeitoptimierung von Java Typinferenz - Fayez Abu Alia (Universität Kiel)
Java-Bytecode Generierung
15:30–16:00 Kaffeepause
16:00–17:30 Uhr
- Sitzung III: Domänenspezifisches
- Jan Dageförde (Universität Münster)
Ansätze zur Traversierung von Muli-Suchbereichen mit Lösungsräumen unbekannter Größe - Jan Christiansen (Hochschule Flensburg)
Verwendung von Programmiersprachentechniken in der Sozialwahltheorie - Baltasar Trancón Widemann (semantics GmbH)
Improvisierte synchrone Datenflussprogrammierung mit Netz und doppeltem Boden
18:30 Uhr Abendessen
Donnerstag, 3. Mai 2018
9:00–10:00 Uhr
- Sitzung IV: Programmstrukturen
- Christian Heinlein (Hochschule Aalen)
Operatoren mit optionalen und wiederholten Syntaxteilen in MOSTflexiPL - Markus Lepper (semantics GmbH)
Rewriting for Parametrization
10:00–11:00 Uhr
11:00–11:30 Kaffeepause
11:30 Uhr
12:30–14:00 Mittagspause
ab 14:00 Uhr Gemeinsame Wanderung/Exkursion
18:30 Uhr Conference Dinner
- Sitzung V: Demos
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
Freitag, 4. Mai 2018
9:00–10:30 Uhr
10:30–11:00 Kaffeepause
11:00–12:30 Uhr
12:30 Mittagessen und Ende des Workshops
- Sitzung V: Curry
- Finn Tegen (Universität Kiel)
Improving the Run-time Behaviour of Non-deterministic Programs in KiCS2 - Sandra Dylus (Universität Kiel)
Beweise über Programme mit call-time-choice-Semantik in Coq - Marius Rasch (Universität Kiel)
Combining Static and Dynamic Contract Checking for Curry - Sitzung VII: Verschiedenes
- Clemens Grelck (Universität Amsterdam)
tba - Martin Steffen (Universität Oslo)
Operational Semantics of a Weak Memory Model with Channel Synchronization - Plenumsdiskussion zum Thema:
Programmiersprachen und Übersetzerbau: Ein Gebiet mit Zukunft
Proceedings