Gesellschaft für Informatik e.V.

Einladung

30. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

6. - 8. Mai 2013 im Physikzentrum Bad Honnef

Programm

Montag, 6. Mai 2013

10:45 - 12.30 Uhr

• Begrüßung (Jens Knoop und Janis Voigtländer)
• Michael Hanus (Universität Kiel)
  Adding Plural Arguments to Curry Programs
• Sebastian Wendt (Martin-Luther-Universität Halle)
  Domänenspezifische Sprachen zur hydromechatronischen Produktentwicklung
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Type inference for functional interfaces in Java-8

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Martin Steffen (Universität Oslo)
  Deadlock Checking by Data Race Detection
• Jens Knoop (TU Wien )
  WCET Squeezing: A Novel Approach for Proven Precise WCET Bounds
• Volker Stolz (Universität Oslo)
  Korrektes Refactoring

15.30-16.00 Kaffeepause

16.00 - 17.30 Uhr

• Christian Heinlein (Hochschule Aalen)
  Programmieren ohne syntaktisches Korsett
• Fabian Reck (Universität Kiel)
  Übersetzung durch Pretty Printing
• Johannes Waldmann (HTWK Leipzig )
  Das M-Wort in der Compilerbauvorlesung

18:00 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

• Robert Glück (Universität Kopenhagen)
  Interpretation of Two-Way Pushdown Automata Revisited
• Herbert Kuchen (Universität Münster)
  Modell-getriebene Entwicklung von Business Apps
• Markus Lepper (semantics GmbH)
  D2d --- XML für Autoren

10.30 - 11.00 Kaffeepause

11.00 - 12.00 Uhr

• Rudolf Berghammer (Universität Kiel)
  Deklarative Loesung schwerer Probleme mittels Relationenalgebra und RelView
• Bernd Braßel (Recordbay)
  Generic Data Access from High Level Specifications

12.00-13.30 Mittagspause

ab 13.30 Uhr Gemeinsame Wanderung/Exkursion

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Nikita Danilenko (Universität Kiel)
  Orders via functions and logic
• Sebastian Fischer (Kiel)
  "Putback" is the Essence of Bidirectional Programming
• Stefan Mehner (Universität Bonn)
  Klassifikation der Instanzen von Traversable

10.30 - 11.00 Kaffeepause

11.00 - 12.00 Uhr

• Björn Peemöller (Universität Kiel)
  Implementing Residuation in KiCS2
• Jan Rasmus Tikovsky (Universität Kiel)
  Integration von FD-Constraints in KiCS2

12.00 Mittagessen und Ende des Workshops