33. 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 (voraussichtlich wie in den Vorjahren) 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 2016 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 2016 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
15. April 2016 | Anmeldung zum Workshop |
15. April 2016 | Einreichung von Zusammenfassungen |
2.-4. Mai 2016 | Workshop im Physikzentrum Bad Honnef |
3. Mai 2016 | 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, 3. Mai 2016, 11.30 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht des Sprechers
- TOP 4: Wahl eines neuen Vorstands (gemäß Satzung 2007)
- TOP 5: Veranstaltungen
- TOP 6: Verschiedenes
gez. Jens Knoop
Sprecher der Fachgruppe
Dateien
Programm
Montag, 2. Mai 2016
10:20–10:30 Begrüßung (Jens Knoop, Baltasar Trancón Widemann und Janis Voigtländer)
10:30–12:30 Software Engineering (Sitzungsleitung: Markus Lepper)
- Jens Knoop (Technische Universität Wien)
tba - Volker Stolz (Høgskolen i Bergen)
Towards Executable Modelling: A Hierarchy for Generic Behavioural Modelling - Marcellus Siegburg (Universität Kiel)
REST-orientierte Refaktorisierung des E-Learning-Systems Autotool
12:30–14:00 Mittagspause
14:00–15:30 Algorithmen (Sitzungsleitung: Janis Voigtländer)
- Björn Peemöller (Universität Kiel)
Towards an Operational Semantics for Functional Patterns - Sandra Dylus (Universität Kiel)
All Sorts of Permutations - Baltasar Trancón Widemann (Technische Universität Ilmenau)
Motive der Multi-Raten-Stromprogrammierung in Sig
15:30–16:00 Kaffeepause
16:00–17:00 Syntax (Sitzungsleitung: Martin Plümicke)
- Marcel Heinz (Universität Koblenz-Landau)
Formalisierung des Kernvokabulars linguistischer Architekturen - Markus Lepper (semantics GmbH Berlin)
translets — Parsing-Diagnose bei Permutationsoperator und Nicht-Determinismus
18:00 Uhr Abendessen
Dienstag, 3. Mai 2016
9:00–11:00 Java (Sitzungsleitung: Christian Heinlein)
- Florian Steurer (DBHW Stuttgart/Horb)
Re-Implementation and Extension of Java Type Unification - Martin Plümicke (DBHW Stuttgart/Horb)
Type unification for structural types in Java - Jan Dageförde (Universität Münster)
Erweiterung der Programmiersprache Java um Constraint-Programmierung - Herbert Kuchen (Universität Münster)
Logic Java
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, 4. Mai 2016
9:00–10:30 Typen (Sitzungsleitung: Baltasar Trancón Widemann)
- Nikita Danilenko (Universität Kiel)
Relational Actions Relationally - Peter Thiemann (Universität Freiburg)
Blame for Hybrid Typing - Christian Heinlein (Hochschule Aalen)
Einblicke in das MOSTflexiPL-Typsystem
10:30–11:00 Kaffeepause
11:00–12:30 Offene Demos
12:30 Mittagessen und Ende des Workshops