25. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
Beschreibung
Einladung |
Seit 1984 veranstaltet die GI-Fachgruppe "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.
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 55,- EUR pro Tag (bei externer Unterbringung: 37,- EUR für die Vollpension). Zusätzlich ist am Dienstag Abend (6.5.) ein Conference Diner geplant, für das Kosten in Höhe von 11,- EUR entstehen. Die Kosten müssen von den Teilnehmern bitte vor Ort in bar oder mit EC-Karte bezahlt werden (die Bezahlung mit Kreditkarten ist leider nicht möglich). Die Erstellung der Rechnungen erfolgt auf Basis der Anmeldung (s.u.). Getränke sind getrennt abzurechnen. |
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 5. April 2008 möglichst per EMail an
Prof. Michael Hanus (mh@informatik.uni-kiel.de)
Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7271
Fax: ++49 (431) 880-7613
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 5. April 2008 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 5. April 2008 | Einreichung von Zusammenfassungen |
| 5. April 2008 | Anmeldung zum Workshop |
| 5.-7. Mai 2008 | Workshop im Physikzentrum Bad Honnef |
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:
- Montag, 5. Mai 2008, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls
- TOP 3: Bericht des Sprechers
- TOP 4: Veranstaltungen
- TOP 5: Verschiedenes
gez. Michael Hanus
Sprecher der Fachgruppe
Dateien
Programm
Montag, 5. Mai 2008
10.50 - 12.30 Uhr
- Begrüßung (Michael Hanus, CAU Kiel)
- Michael Poldner (Universität Münster)
Skeletons for Divide and Conquer Algorithms - Thorsten van Ellen (Universität Oldenburg)
Sprachmittel zur Behandlung von Sondersituationen - Christian Heinlein (Hochschule Aalen)
Männliche und weibliche Doppelstudenten
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Phillip Heidegger (Universität Freiburg)
Statisches Typen von JavaScript Programmen - Markus Degen (Universität Freiburg)
Typinferenz für Java(X) - Martin Plümicke (Berufsakademie Stuttgart/Horb)
Auflösung von Durchschnittstypen in Java
15.30-16.00 Kaffeepause
16.00 - 18.00 Uhr
- Steffen Mazanek (Universität der Bundeswehr München)
Funktional-logische Graph-Parser mit Vervollständigung - Wolfgang Lux (Universität Münster)
Adding Haskell-stlye Overloading to Curry - Jan Christiansen (Christian-Albrechts-Universität zu Kiel)
Ach, wie gut, dass niemand weiß, dass ich dreizehnsiebtel heiß - Bernd Braßel (Christian-Albrechts-Universität zu Kiel)
A Debugger for Functional Logic Languages
18.00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Dienstag, 6. Mai 2008
9.00 - 10.30 Uhr
- Jens Knoop (TU Wien)
WCET Annotation Languages Reconsidered: The Annotation Language Challenge - Albrecht Kadlec (TU Wien)
Essential Ingredients for a WCET Annotation Language - Adrian Prantl (TU Wien)
TuBound - A Tool for Worst-Case Execution Time Analysis
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Dietmar Schreiner (TU Wien)
Applying the Component Paradigm to AUTOSAR Basic Software - Markus Schordan (TU Wien)
Source-To-Source Analysis with SATIrE - Hermann von Issendorff
Fundamente der Programmierung
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Michael Leuschel (Universität Düsseldorf)
Formal korrekte Übersetzung von Java Bytecode nach Maschinensprache - Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
Weitere Modellreduktionstechniken für symbolische Kellersysteme - Elke Tetzner (Universität Rostock)
Wortbasierte Symbolische Simulation Hybrider Systeme in CLP
16.00 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
Mittwoch, 7. Mai 2008
9.00 - 10.30 Uhr
- Sebastian Fischer (Christian-Albrechts-Universität zu Kiel)
Datenfluss in bedarfsgesteuerten Berechnungen - Herbert Kuchen (Universität Münster)
Empirischer Vergleich von Tools für das Testen deklarativer Programme - Karsten Klohs (Universität Paderborn)
A Summary Function Model for the Validation of Interprocedural Analysis Results
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Janis Voigtländer (TU Dresden)
Parametricity for Haskell with Imprecise Error Semantics - Ralf Lämmel (Universität Koblenz)
Sliced bananas on opaque data -- The expression lemma - Baltasar Trancón y Widemann (Universität Bayreuth)
Stackless Stack Inspection -- Portabler Fluchtweg aus dem Teufelskreis
12.30 Mittagessen und Ende des Workshops