23. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte
zusammen mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software)
Beschreibung
Einladung |
Seit 1984 veranstaltet die GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner" hervorgegangen ist, regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte. In diesem Jahr findet der Workshop als gemeinsame Veranstaltung mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) statt. Aus diesem Grund sind Vorträge, die sich mit programmiersprachlichen Aspekten des Testens, Analyse und Verifikation von Programmen beschäftigen, besonders willkommen. Darüberhinaus sind gemeinsame Sitzungen mit der Fachgruppe Software-Reengineering geplant, die zeitgleich im Physikzentrum tagt.
Wir laden Sie ein, Vorträge und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betätigungsfeld einzureichen, unter anderem (aber nicht ausschließlich) zu Themen wie
|
|
Beiträge aus Ihren Arbeitsgruppen auch zu anderen Themen sind ebenso willkommen. Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen.
Veranstaltungsort
| Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums in Bad Honnef statt. Es können bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension EURO 47,- pro Tag (bei externer Unterbringung: EURO 33,- für die Vollpension, für Übernachtung mit Frühstück EURO 34,- pro Tag) und eine einmalige Tagungsgebühr von EURO 10,-, die von den Teilnehmern bitte vor Ort bar bezahlt werden, weil das Haus leider keine Kredit- oder Scheckkarten akzeptieren kann. Zusätzlich ist an einem Abend ein Conference Diner geplant, für das Kosten in Höhe von Euro 7,- entstehen. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF oder Postscript) bis spätestens 14. April 2006 möglichst per EMail an
Prof. Michael Hanus (mh@informatik.uni-kiel.de)
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7271, Fax: ++49 (431) 880-7613
Wichtige Termine |
| 14. April 2006 | Einreichung von Zusammenfassungen |
| 14. April 2006 | Anmeldung zum Workshop |
| 3.-5. Mai 2006 | Workshop im Physikzentrum Bad Honnef |
Proceedings
Einladung zur Mitgliedervollversammlung
Die ordentliche Mitgliedervollversammlung der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" findet wiederum zeitgleich mit dem jährlichen Workshop im Physikzentrum Bad Honnef statt. Hierzu lade ich alle Mitglieder herzlich ein:
Ort:
- Physikzentrum Bad Honnef
Zeit:
- Mittwoch, 3. Mai 2006, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls
- TOP 3: Bericht des Sprechers
- TOP 4: Veranstaltungen
- TOP 5: Satzung der Fachgruppe
- TOP 6: Verschiedenes
gez. Michael Hanus
Sprecher der Fachgruppe
Dateien
Programm
| Mittwoch, 3. Mai 2006 |
14.00 - 15.30 Uhr
- Begrüßung (Michael Hanus, Univ. Kiel)
- Jens Knoop (TU Wien)
A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem - Thomas Noll, Stefan Rieger (RWTH Aachen)
Optimization of Straight-Line Code Revisited - Markus Degen (Univ. Freiburg)
Übersetzen und Optimieren von Simulink Modellen
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Rudolf Berghammer (Univ. zu Kiel)
Über ein Werkzeug zur visuellen Auswertung funktionaler Programme - Baltasar Trancón y Widemann (TU Berlin)
Strikte zyklische Berechnungen: Von der Theorie zur Praxis - Frank Huch, Frank Kupke (Univ. zu Kiel)
Haskell Transaktionen in verteilten Systemen - Hermann von Issendorff (Hemmoor)
Eine gemeinsame Basis zur formalen Beschreibung von Software und Hardware
18.00 Uhr
- Mitgliederversammlung der Fachgruppe 2.1.4
18.30 Uhr Abendessen, Spaziergang
| Donnerstag, 4. Mai 2006 |
9.00 - 11.00 Uhr
- Jens Bendisposto, Michael Leuschel (Univ. Düsseldorf)
Rapid Visualization of B Specifications with Higher-Order Recursive Functions - Christian Heinlein (Univ. Ulm)
Effiziente Implementierung offener Typen - Jan Schäfer (TU Kaiserlautern)
Simple Lose Ownership Domains: A Type System Extension to Ensure Encapsulation in Object-Oriented Languages - Manfred Widera (FernUniv. Hagen)
Strukturorientiertes Testen funktionaler Programme
11.00 - 11.30 Kaffeepause
11.30 - 12.15 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering
- Andreas Zeller (Univ. des Saarlandes)
Warum stürzt mein Programm ab? Automatisches Bestimmen von Fehlerursachen
12.30-14.00 Mittagspause
14.00 - 16.00 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering
- Frank Huch (Univ. Kiel)
Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen - Harry Sneed (ANECON GmbH, Wien, Universities of Regensburg and Passau)
Reengineering for Testability
15.30 - 16.00 Kaffeepause
16.00 - 18.15 Uhr Gemeinsame Sitzung mit den Fachgruppen TAV (Test, Analyse und Verifikation von Software) und Software-Reengineering
- Walter Bischofberger (Software-Tomography GmbH, Zug)
Werkzeugunterstütztes Architektur- und Qualitätsmonitoring - Ansätze und praktische Erfahrungen - Herbert Kuchen (Univ. Münster)
Automatische Erzeugung von Testfällen - Michael Meurer (Dresdner Bank AG), Daniel Simon (SQS AG)
Standardisierung der technischen Qualitätssicherung im J2EE-Umfeld der Dresdner Bank
18.30 Uhr Conference Dinner
20.00 Uhr Tooldemo
| Freitag, 5. Mai 2006 |
9.00 - 10.30 Uhr
- Bernd Holzmüller (ICS AG)
Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes (Folien) - Bernd Braßel (Univ. Kiel)
Searching Bugs by Visualizing Computations - Michael Hanus (Univ. Kiel)
Type-Oriented Construction of Web User Interfaces
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Sebastian Fischer (Univ. Kiel)
Resource-Based Web Applications - Martin Plümicke (Berufsakademie Stuttgart)
Typ-Inferenz in Java 5.0 - Stefan Wehr (Univ. Freiburg)
Waitomo, eine interface-orientierte Programmiersprache
12.30 Mittagessen und Ende des Workshops