Die Zeit pro Vortrag beträgt 25 Minuten. Bitte reservieren Sie 5 Minuten am Ende Ihres Vortrages für die Beantwortung von Fragen und Diskussion.

Die Ausstattung des Konferenzraumes umfasst einen Overhead-Projektor, einen Beamer sowie ein Flipchart. Bitte überprüfen Sie rechtzeitig die Kompatibilität Ihres Laptops bzw. laden Sie Ihre Vortragsmaterialien (im pdf Format) auf den bereit gestellten Laptop.

Eine pdf-Version des Programms zum Ausdrucken findet sich hier.

Mit freundlicher Unterstützung der Vortragenden konnten wir die meisten Vortragsfolien online zur Verfügung stellen.

Dienstag, 9. Oktober 2007

19:00 - 20:00    Registrierung

20:00 - 22:00    Abendessen

Mittwoch, 10. Oktober 2007

8:00 - 8:30    Registrierung

8:30 - 8:40    Begrüßung

8:40 - 9:20    Eröffnungsvortrag

• Hans Langmaack (Christian-Albrechts-Universität zu Kiel)
  Über das Vererben und dessen implizite Definition in der Sprachspezifikation des neuen Java mit inneren Klassen

9:20 - 10:10    Sitzung 1

Leitung: Jürg Gutknecht

• Markus Degen (Albert-Ludwigs-Universität Freiburg)
  Tracking Linear and Affine Resources with Java(X)

• Arne Lüdtke (Eisenmann AG)
  Implementierung eines Typinferenzalgorithmus für Java 5.0

10:10 - 10:40    Kaffeepause

10:40 - 12:45    Sitzung 2

Leitung: Robert Glück

• Jürg Gutknecht (Eidgenössische Technische Hochschule Zürich)
  Structured Concurrency at Work in an Object-Oriented Language

• Luc Bläser (Eidgenössische Technische Hochschule Zürich)
  A Component-Oriented Language for Pointer-Free Parallel Programming

• Stefan Rieger (Rheinisch-Westfälische Technische Hochschule Aachen)
  Unbounded Thread-Creation in Dynamic Pointer Programs

• Markus Müller-Olm (Westfälische Wilhelms-Universität Münster)
  Precise Analysis of Programs with Thread-Creation and Procedures

• Peter Lammich (Westfälische Wilhelms-Universität Münster)
  Precise Data Race Detection of Programs with Procedures, Threads, and Monitors

12:45 - 14:00    Mittagessen

14:00 - 16:05    Sitzung 3

Leitung: Markus Müller-Olm

• Robert Glück (Universität Kopenhagen)
  Reversible Machine Code and Its Abstract Processor Architecture

• Carsten Kern (Rheinisch-Westfälische Technische Hochschule Aachen)
  Smyle: Synthesis of Design Models from Scenarios by Learning

• Martin Feilkas (Technische Universität München)
  Sprach- und bibliotheksbasierte Abstraktion

• Annette Bieniusa (Albert-Ludwigs-Universität Freiburg)
  RINSO goes Random

• Frank Huch (Christian-Albrechts-Universität Kiel)
  Learning Programming with Erlang

16:05 - 16:35    Kaffeepause

16:35 - 18:40    Sitzung 4

Leitung: Herbert Kuchen

• Janis Voigtländer (Technische Universität Dresden)
  On a Knuth-like 0-1-2-Principle for Parallel Prefix Computation

• Jonathan Heinen (Rheinisch-Westfälische Technische Hochschule Aachen)
  Graph Grammar Abstraction for Complex Dynamic Data Structures

• Raimund Kirner (Technische Universität Wien)
  On the Halting Problem of Finite-State Programs

• Roland Glück (Universität Augsburg)
  Netzwerkflüsse und Fuzzyrelationen

• Bernhard Möller (Universität Augsburg)
  Knowledge and Games in Modal Semirings

20:00 - 22:00    Abendessen

Donnerstag, 11. Oktober 2007

8:30 - 10:35    Sitzung 5

Leitung: Peter Padawitz

• Jens Knoop (Technische Universität Wien)
  Data-Flow Analysis for Hot-Spot Program Optimization

• Markus Schordan (Technische Universität Wien)
  Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code

• Stephan Swiderski (Rheinisch-Westfälische Technische Hochschule Aachen)
  Automated Termination Analysis for Haskell

• Robert Grabowski (Ludwig-Maximilians-Universität München)
  Information Flow Security for Imperative Lanuages

• Judith Rohloff (Technische Universität Berlin)
  Verbesserung statischer Programmanalysen mit Hilfe einer Annotationssprache

10:35 - 11:00    Kaffeepause

11:00 - 12:40    Sitzung 6

Leitung: Ralf Lämmel

• Christian Winkler (Universität Potsdam)
  Solving the SWS-Challenge Mediation Problem with the jABC/jETI Framework

• Christoph Stöpel (Universität Potsdam)
  Plug-ins und Dienste

• Volker Mattick (Universität Dortmund)
  HDDL: Syntax und Semantik von Hyperdokumenten algebraisch exakt und verständlich modellieren

• Patrick Michel (Universität Kaiserslautern)
  Specification and Algorithms of Constrained XML Documents

12:40 - 14:00    Mittagessen

14:00 - 15:40    Sitzung 7

Leitung: Jens Knoop

• Andreas Abel (Ludwig-Maximilians-Universität München)
  Typbasierte Terminierung funktionaler Programme

• Dulma Rodriguez (Ludwig-Maximilians-Universität München)
  Algorithmic Subtyping for Higher-Order Bounded Quantification

• Phillip Heidegger (Albert-Ludwigs-Universität Freiburg)
  Typbasierte Analyse von JavaScript

• Dirk Kleeblatt (Technische Universität Berlin)
  Checking Dependent Types Efficiently

15:40 - 16:00    Kaffeepause

16:00 - 20:00    Ausflug nach Travemünde

20:00 - 22:00    Abendessen

Freitag, 12. Oktober 2007

8:30 - 10:35    Sitzung 8

Leitung: Hans Langmaack

• Peter Padawitz (Universität Dortmund)
  Mehrpässige Compilation mit finalen Coalgebren

• Adrian Prantl (Technische Universität Wien)
  The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation

• Albrecht Kadlec (Technische Universität Wien)
  On the Difficulty of Building a Precise Timing Model for Real-Time Programming

• Peter Höfner (Universität Augsburg)
  Proof Automation in Kleene Algebra

• Felix Friedrich (Eidgenössische Technische Hochschule Zürich)
  A Mathematical Programming Language Extension for Multilinear Algebra

10:35 - 11:00    Kaffeepause

11:00 - 13:05    Sitzung 9

Leitung: Bernhard Möller

• M. Anton Ertl (Technische Universität Wien)
  Domination-Based Scoping and Static Single Assignment Languages

• Hans-Wolfgang Loidl (Ludwig-Maximilians-Universität München)
  On Bounded Resource Consumption in the Embedded Systems Language Hume

• Herbert Kuchen (Westfälische Wilhelms-Universität Münster)
  Systematisches Testen Funktional-logischer Programme

• Jan Christiansen (Christian-Albrechts-Universität Kiel)
  Lightweight Testing of Curry Programs

• Bernd Braßel (Christian-Albrechts-Universität Kiel)
  The Kiel Curry System KiCS

13:05 - 13:15    Verabschiedung

13:15 - 14:30    Mittagessen