Gesellschaft für Informatik e.V.

Einladung

34. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

8.–10. Mai 2017 im Physikzentrum Bad Honnef

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