30. 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. Auf Grund beschränkter Zimmerkapazitäten im Physikzentrum, müssen eventuell einige Tagungsteilnehmer extern untergebracht werden. Die Preise für Tagungsteilnahme, Übernachtung und Verpflegung werden in den nächsten Tagen noch aktualisiert werden. Als Größenordung können Sie sich aber schon mal an folgenden Preisen orientieren: Wir versuchen möglichst viele Teilnehmer im Physikzentrum unterzubringen. 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. Für die Anreise bietet die Deutsche Bahn für Reisen zu Tagungen der Deutschen Physikalische Gesellschaft in diesem Jahr einen Rabatt ein, der die An- und Abreise für 99 Euro ermöglicht. |
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 2013 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 2013 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
| 15. April 2013 | Anmeldung zum Workshop |
| 19. April 2013 | Einreichung von Zusammenfassungen |
| 6.-8. Mai 2013 | 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, 6. Mai 2013, 18.00 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht der stellvertretenden Sprecher
- TOP 4: Wahl eines neuen Vorstands
- TOP 5: Veranstaltungen
- TOP 6: Verschiedenes
gez. Frank Huch
Sprecher der Fachgruppe
Dateien
Programm
Montag, 6. Mai 2013
10:45 - 12.30 Uhr
- Begrüßung (Jens Knoop und Janis Voigtländer)
- Michael Hanus (Universität Kiel)
Adding Plural Arguments to Curry Programs - Sebastian Wendt (Martin-Luther-Universität Halle)
Domänenspezifische Sprachen zur hydromechatronischen Produktentwicklung - Martin Plümicke (Duale Hochschule Baden-Württemberg)
Type inference for functional interfaces in Java-8
12.30-14.00 Mittagspause
14.00 - 15.30 Uhr
- Martin Steffen (Universität Oslo)
Deadlock Checking by Data Race Detection - Jens Knoop (TU Wien )
WCET Squeezing: A Novel Approach for Proven Precise WCET Bounds - Volker Stolz (Universität Oslo)
Korrektes Refactoring
15.30-16.00 Kaffeepause
16.00 - 17.30 Uhr
- Christian Heinlein (Hochschule Aalen)
Programmieren ohne syntaktisches Korsett - Fabian Reck (Universität Kiel)
Übersetzung durch Pretty Printing - Johannes Waldmann (HTWK Leipzig )
Das M-Wort in der Compilerbauvorlesung
18:00 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
18.30 Uhr Abendessen
Dienstag, 7. Mai 2013
9.00 - 10.30 Uhr
- Robert Glück (Universität Kopenhagen)
Interpretation of Two-Way Pushdown Automata Revisited - Herbert Kuchen (Universität Münster)
Modell-getriebene Entwicklung von Business Apps - Markus Lepper (semantics GmbH)
D2d --- XML für Autoren
10.30 - 11.00 Kaffeepause
11.00 - 12.00 Uhr
- Rudolf Berghammer (Universität Kiel)
Deklarative Loesung schwerer Probleme mittels Relationenalgebra und RelView - Bernd Braßel (Recordbay)
Generic Data Access from High Level Specifications
12.00-13.30 Mittagspause
ab 13.30 Uhr Gemeinsame Wanderung/Exkursion
18.30 Uhr Conference Dinner
Mittwoch, 8. Mai 2013
9.00 - 10.30 Uhr
- Nikita Danilenko (Universität Kiel)
Orders via functions and logic - Sebastian Fischer (Kiel)
"Putback" is the Essence of Bidirectional Programming - Stefan Mehner (Universität Bonn)
Klassifikation der Instanzen von Traversable
10.30 - 11.00 Kaffeepause
11.00 - 12.00 Uhr
- Björn Peemöller (Universität Kiel)
Implementing Residuation in KiCS2 - Jan Rasmus Tikovsky (Universität Kiel)
Integration von FD-Constraints in KiCS2
12.00 Mittagessen und Ende des Workshops