Gesellschaft für Informatik e.V.

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 

Einladung

  27. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

3. - 5. Mai 2010 im Physikzentrum Bad Honnef

Programm

  Montag, 3. Mai 2010

10:15 - 12.30 Uhr

• Begrüßung (Michael Hanus, CAU Kiel)
• Konrad Anton (Universität Freiburg)
  Typing Coroutines
• Bernd Braßel (Universität Kiel)
  Using Haskell's Type Systems to Check Relation Algebraic Programs
• Jan Christiansen (Universität Kiel)
  Minimally Strict Polymorphic Functions
• Janis Voigtländer (Universität Bonn)
  Combining Syntactic and Semantic Bidirectionalization

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Carl Friedrich Bolz (Universität Düsseldorf)
  Towards a Jitting VM for Prolog Execution
• Clemens Grelck (Universiteit van Amsterdam)
  An Adaptive Compilation Framework for Data Parallel Programming in SAC
• Sebastian Fischer (Universität Kiel)
  Reguläres Ausdruckstheater

15.30-16.00 Kaffeepause

16.00 - 18.00 Uhr

• Christian Heinlein (Hochschule Aalen)
  Nahtlose und effiziente Integration großer Zahlen in eine Programmiersprache
• Beate Ritterbach (Universität Hamburg)
  Werttypen in objektorientierte Programmiersprachen
• Martin Plümicke (Duale Hochschule Baden-Württemberg)
  Formalization of the Java_λ type system

18.00 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

• Herbert Kuchen (Universität Münster)
  E-Assessment kreativer Prüfungsleistungen
• Georg Sauthoff (Universität Bielefeld)
  A new language for algebraic dynamic programming
• Robert Glück (Universität Kopenhagen)
  An experiment with the fourth Futamura projection

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Wolfgang Jeltsch (Brandenburgische Technische Universität Cottbus)
  Signale statt Generatoren!
• Annette Bieniusa (Universität Freiburg)
  Twilight STM in Haskell
• Baltasar Trancon y Widemann (Universität Bayreuth)
  Praktisches totales funktionales Programmieren im Church-Stil

12.30-14.00 Mittagspause

14.00 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Jens Knoop (TU Wien)
  Towards an Orchestrated Approach for Annotation Verification
• Jakob Zwirchmayr (Technische Universität Wien)
  Smacc: An SMT Memory Model and Assertion Checker for C
• Volker Stolz (UiO / UNU-IIST)
  rCOS - Modellierung und Entwicklung komponentenbasierter Systeme mit formalen Methoden

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Daniel Seidel (Universität Bonn)
  Erweiterung der Containerdarstellung von Listen mittels Relationen
• Rudolf Berghammer (Universität Kiel)
  A functional and successor list based version of Warshall's algorithm
• Fabian Reck (Universität Kiel)
  Transforming Functional Logic Programs into Monadic Functional Programs

12.30 Mittagessen und Ende des Workshops