Gesellschaft für Informatik e.V.

Einladung

36. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

6.–8. Mai 2019 im Physikzentrum Bad Honnef

Programm   [Vorläufiges Programm (pdf)]

10:20–10:30 Uhr – Eröffnung

• Begrüßung (Jens Knoop, Peter Thiemann und Baltasar Trancón Widemann)

10:30–12:30 Uhr – Sitzung I: Logikprogrammierung (Sitzungsleiter: Markus Lepper)

• Jan Dageförde (Universität Münster)
  Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen
• Sandra Dylus (Universität Kiel)
  Modellierung von Call-Time-Choice mit freien Monaden
• Marius Rasch (Universität Kiel)
  Direkte Übersetzung von Curry-Nichtdeterminismus nach Erlang
• Finn Teegen (Universität Kiel)
  Übersetzung funktionaler Muster mithilfe inverser Funktionen

12:30–14:00 Mittagspause

14:00–15:30 Uhr – Sitzung II: Typsysteme (Sitzungsleiter: Sandra Dylus)

• Robert Glück (Universität Kopenhagen)
  An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
• Jan-Oliver Kaiser (MPI-SWS, Saarbrücken)
  Mtac2: Abhängige Typen für Meta- und Taktikprogrammierung in Coq
• Peter Thiemann (Universität Freiburg)
  Fun with (Label-Dependent) Session Types

15:30–16:00 Kaffeepause

16:00–17:30 Uhr – Sitzung III: Erweiterung objektorientierter Sprachen (Sitzungsleiter: Jan Dageförde)

• Christian Heinlein (Hochschule Aalen)
  Variadic templates in C++: Funktionale Programmierung einmal anders
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Java-TX: The Language
• Michael Uhl (Duale Hochschule Baden-Württemberg)
  Best Practices zum Entwickeln, Bauen und Debuggen eines Eclipse-Plugins zum Entwickeln in Java-TX
• Baltasar Trancón Widemann (semantics GmbH)
  Combinator 2: Judgement Day - Practical Experiences with Combinator Parsing in Java

18:30 Uhr Abendessen

9:00–10:30 Uhr – Sitzung IV: Softwaretechnik (Sitzungsleiter: Christian Heinlein)

• Marcellus Siegburg (Universität Duisburg-Essen)
  A Task Generator for Matching Object Diagrams to Class Diagrams
• Herbert Kuchen (Universität Münster)
  Test-Case Generation for Information Systems
• Oliver Westphal (Universität Duisburg-Essen)
  Specifying teletype IO effects for testing, automatic exercise generation and beyond

10:30–11:30 – Sitzung V: Demos (Organisation und Leitung: Markus Lepper, Baltasar Trancón Widemann)

• Offene verteilte Demo-Runde

11:30 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

12:30–14:00 Mittagspause

ab 14:00 Uhr – Gemeinsame Wanderung/Exkursion

18:30 Uhr Conference Dinner

9:00–10:30 Uhr – Sitzung VI: Formale Modelle (Sitzungsleiter: Herbert Kuchen)

• Markus Lepper (semantics GmbH), Michael Oehler, Hartmuth Kinzler, Baltasar Trancón y Widemann
  Diminuendo al bottom - clarifying the semantics of music notation by re-modeling
• Ralf Jung (MPI-SWS, Saarbrücken)
  RustBelt: ein solides Fundament für Rust
• Michael Leuscher (Universität Düsseldorf)
  Ein Jupyter-Kernel für Logik und Mengentheorie

10:30–11:00 Kaffeepause

11:00–12:30 Uhr – Sitzung VII: Verschiedenes (Sitzungsleiter: Martin Plümicke)

• Patrick Stünkel (UAS West Norway)
  From Bi- to Multidirectional Transformations: Eine Annäherung
• Justus Sagemüller (Universität Köln)
  Ideen zur pur-funktionalen Numerik mit starken Typen
• Jens Knoop (TU Wien)
  (The) Most Important Research Challenges in 5 Years from Now

12:30 Mittagessen und Ende des Workshops