Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

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

Einladung (Call for Papers)

 

22. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte 2. - 4. Mai 2005 im Physikzentrum Bad Honnef Programm

Anmeldeformular    in PDF    in Ascii Wichtige Termine

 

Montag, 2. Mai 2005

14.00 - 15.30 Uhr

• Begrüßung (Frank Huch, Univ. zu Kiel)
• Elke Tetzner (Univ. Rostock)
  Spezifikation und Verifikation in Dokumentverwaltungs- und Beratungssystemen auf der Grundlage Hybrider Automaten
  
• Nicole Rauch (Univ. Kaiserslautern)
  Formal Result Checking for Unverified Theorem Provers
  
• Michael Weber (RWTH Aachen)
  A Virtual Machine for State Space Generation
  

15.30-16.00 Kaffeepause

• Matthias Neubauer (Univ. Freiburg)
  Static Scheduling of Sequential Multi-Tier Applications
  
• Baltasar Trancón y Widemann (TU Berlin)
  Ein striktes coalgebraisches Berechnungsmodell
• Werner Kluge (Univ. zu Kiel)
  Fully Normalizing Lambda Calculus Machines

• Hermann von Issendorff (Hemmoor)
  Über die formale Beschreibung räumlicher Netze
• Herbert Kuchen (Univ. Münster)
  Performanzvorhersage für Algorithmische Skelette
• Michael Poldner (Univ. Münster)
  Über das Implementieren von Farm-Skeletten

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Walter Dosch (Univ. zu Lübeck)
  Interaktive Datenstrukturen
  
• Klaus Höppner (Univ. zu Kiel)
  Deklarative Programmentwicklung für Eingebettete Systeme
  
• Bernd Brassel (Univ. zu Kiel)
  Curry To Haskell - Erste Ideen für einen Compiler
  

12.30-14.00 Mittagspause

14.00 - 16.00 Uhr

• Eric Bodden, Volker Stolz (RWTH Aachen)
  Temporal Assertions using AspectJ
  
• Michael Franz (University of California, Irvine)
  Gedanken zur Java Bytecode Verifikation
  
• Arnd Poetzsch-Heffter (TU Kaiserslautern)
  Modular Invariants for Layered Object Structures
  
• Wolfgang Goerigk (Univ. zu Kiel)
  On Simulation of Nested Procedures by Nested Classes

16.00 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

20.00 Uhr

• Mitgliederversammlung der Fachgruppe 2.1.4

Mittwoch, 4. Mai 2004

• Frank Huch (Univ. zu Kiel)
  A Pattern Logic for Lazy Assertions in Haskell
  
• Clemens Grelck (Univ. zu Lübeck)
  With-Loop Fusion
  
• Britta Kehden (Univ. zu Kiel)
  Relational Implementation of Simple Parallel Evolutionary Algorithms
  

10.30 - 11.00 Kaffeepause

• Ulrich Hoffmann (Eckernförde)
  Modell-basierte Software-Entwicklung mit OpenArchitectureWare
• Christian Heinlein (Univ. Ulm)
  Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance
  

12.30 Mittagessen und Ende des Workshops