Gesellschaft für Informatik e.V.

Einladung

33. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

2.–4. Mai 2016 im Physikzentrum Bad Honnef

Programm

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

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

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