29. 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.
Für die diesjährige Tagung ist auch eine gemeinsame Session mit den parallel statt findenden Workshops TAV und Software-Reengineering geplant. Geeignete Beiträge werden in Kooperation mit den anderen Workshops ausgesucht.
Veranstaltungsort
| Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums in Bad Honnef statt. Hier werden bald nähere Informationen zu den Übernachtungskosten zur Verfügung stehen. Die Übernachtung sollte aber ähnlich günstig wie letztes Jahr sein. Alle 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) bis spätestens 19. April 2012 möglichst per EMail an
Frank Huch (fhu@informatik.uni-kiel.de)
Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40, D-24098 Kiel
Tel: ++49 (431) 880-7277
Fax: ++49 (431) 880-7613
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 15. April 2012 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 15. April 2012 | Anmeldung zum Workshop |
| 19. April 2012 | Einreichung von Zusammenfassungen |
| 2.-4. Mai 2012 | 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:
- Mittwoch, 2. Mai 2012, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht des Sprechers
- TOP 4: Veranstaltungen
- TOP 5: Verschiedenes
gez. Frank Huch
Sprecher der Fachgruppe
Dateien
Programm
Mittwoch, 2. Mai 2012
10:45 - 12.30 Uhr
- Begrüßung (Frank Huch, Universität zu Kiel)
- Volker Stolz (University of Oslo)
Delta-oriented monitor specifications - Martin Steffen (University of Oslo)
Estimating Resource Bounds for Nested Transactions with Join Synchronization - Jens Knoop (TU Wien)
A Portable WCET Annotation Language: First Experiences
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Baltasar Trancón y Widemann (Universität Bayreuth), Markus Lepper (<semantics/> GmbH)
Wie man eine seltsame Schleife verkabelt - Manuel Geffken (Universität Freiburg)
A Type and Effect System for Parallelization - Herbert Kuchen (Universität Münster)
Ein Constraint-Solver für den Testfall-Generator Muggl
15.30-16.00 Kaffeepause
16.00 - 17.30 Uhr
- Björn Peemöller (Universität Kiel)
Specialising Functional Patterns - Janis Voigtländer (Universität Bonn)
Programming Language Approaches to Bidirectional Transformation - Nikita Danilenko (Universität Kiel)
A graph-theoretic view on vector-matrix-multiplication
18:00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Donnerstag, 3. Mai 2012
9.00 - 10.00 Uhr
- Christian Heinlein (Hochschule Aalen)
Wer A sagt, muss auch B sagen: Konsequente Anwendung benutzerdefinierbarer impliziter Typumwandlungen - Martin Plümicke (DHBW Stuttgart)
Brian's approach vs. Martin's approach - Functional Interfaces vs. function types in Java 8
10.00 - 10.30 Kaffeepause
10.30 - 12.30 Uhr - Gemeinsame Sitzung mit WSR/TAV/DFF (eingeladene Vorträge)
- Andreas Zeller (Uni des Saarlands)
Experimentelle Programmanalyse - Ina Schieferdecker (Fraunhofer FOKUS)
Testing of ICT in Urban Management Systems - A Research Perspective
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr - Gemeinsame Sitzung mit WSR/TAV/DFF
- Jochen Quante (Robert Bosch GmbH)
When Program Comprehension Met Bug Fixing - Christian Becker and Uwe Kaiser (pro et con GmbH)
Test der semantischen Äquivalenz von Translatoren am Beispiel von CoJaC - Harry Sneed (ANECON GmbH)
Validierung der funktionalen Äquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich
15.30 - 16.00 Kaffeepause
16.00 Uhr Gemeinsame Wanderung
18.30 Uhr Conference Dinner
Freitag, 4. Mai 2012
9.00 - 10.30 Uhr - WSR/TAV: Eingeladene Überblicksvorträge
- Rainer Koschke (Uni Bremen)
Überblicksvortrag Software Reengineering - Mario Winter (FH Köln)
Überblicksvortrag Test, Analyse, Verifikation von Software
10.30 - 11.00 Kaffeepause
11.00 - 12.30 Uhr
- Fabian Reck (Universität Kiel)
Negation as failure with Set Functions - Sebastian Fischer
Delimited Nondeterminism - Michael Hanus (Universität zu Kiel)
Improving Lazy Non-Deterministic Computations by Demand Analysis
12.30 Mittagessen und Ende des Workshops