36. 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. Wir versuchen jedoch möglichst alle Teilnehmer im Physikzentrum unterzubringen, was in der Vergangenheit auch meist gelungen ist. Die Kosten für die Teilnahme an der Tagung belaufen sich auf etwa 300 EUR. Dieser Betrag setzt sich zusammen aus einer vom Physikzentrum erhobenen Tagungspauschale (etwa 150 EUR) und den Übernachtungskosten (bei 3 Übernachtungen im Einzelzimmer im Physikzentrum ebenfalls etwa 150 EUR). Die Tagungspauschale enthält die Kosten für die Verpflegung und auch die Kosten des für Dienstagabend (7.5.2019) geplanten Conference Dinners. Hinzu kommen Kosten für Getränke, die zusätzlich und getrennt abgerechnet werden. Alle Kosten müssen von den Teilnehmern bitte vor Ort am Abreisetag in bar, mit EC- oder mit Kreditkarte bezahlt werden. Die Erstellung der Rechnungen erfolgt auf Basis der Anmeldung (s.u.). Für die An- und Abreise zum Physikzentrum in Bad Honnef bietet die Deutsche Bahn verschiedene vergünstigte Veranstaltungstickets deutschlandweit zu Sonderpreisen ab 54,90 EUR je Richtung an. |
Beiträge |
Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spätestens 31. März 2019 möglichst per EMail an
Baltasar Trancón Widemann (baltasar@trancon.de)
semantics GmbH
und
Jens Knoop (knoop@complang.tuwien.ac.at)
Fakultät für Informatik
TU Wien
Anmeldung |
Melden Sie sich bitte zum Workshop bis zum 31. März 2019 mit diesem Formular an. Da die Teilnehmerzahl begrenzt ist, wird eine frühzeitige Anmeldung empfohlen.
Wichtige Termine |
31. März 2019 | Anmeldung zum Workshop |
31. März 2019 | Einreichung von Zusammenfassungen |
6.-8. Mai 2019 | Workshop im Physikzentrum Bad Honnef |
7. Mai 2019 | Mitgliedervollsammlung der Fachgruppe 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:
- Dienstag, 7. Mai 2019, 11.30 Uhr
Tagesordnung:
- TOP 1: Genehmigung der Tagesordnung
- TOP 2: Genehmigung des Protokolls der letzten Mitgliederversammlung
- TOP 3: Bericht des Sprechers
- TOP 4: Wahl eines neuen Vorstands (gemäß Satzung 2007)
- TOP 5: Veranstaltungen
- TOP 6: Verschiedenes
gez. Jens Knoop
Sprecher der Fachgruppe
Programm
Montag, 6. Mai 2019
10:20–10:30 Uhr – Eröffnung
- Begrüßung (Jens Knoop, Peter Thiemann und Baltasar Trancón Widemann)
10:30–12:30 Uhr – Sitzung I: Logikprogrammierung (Sitzungsleiter: Markus Lepper)
- Jan Dageförde (Universität Münster)
Strukturierte Traversierung des Ausführungsbaums von Muli-Programmen - Sandra Dylus (Universität Kiel)
Modellierung von Call-Time-Choice mit freien Monaden - Marius Rasch (Universität Kiel)
Direkte Übersetzung von Curry-Nichtdeterminismus nach Erlang - Finn Teegen (Universität Kiel)
Übersetzung funktionaler Muster mithilfe inverser Funktionen
12:30–14:00 Mittagspause
14:00–15:30 Uhr – Sitzung II: Typsysteme (Sitzungsleiter: Sandra Dylus)
- Robert Glück (Universität Kopenhagen)
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata - Jan-Oliver Kaiser (MPI-SWS, Saarbrücken)
Mtac2: Abhängige Typen für Meta- und Taktikprogrammierung in Coq - Peter Thiemann (Universität Freiburg)
Fun with (Label-Dependent) Session Types
15:30–16:00 Kaffeepause
16:00–17:30 Uhr – Sitzung III: Erweiterung objektorientierter Sprachen (Sitzungsleiter: Jan Dageförde)
- Christian Heinlein (Hochschule Aalen)
Variadic templates in C++: Funktionale Programmierung einmal anders - Martin Plümicke (Duale Hochschule Baden-Württemberg)
Java-TX: The Language - Michael Uhl (Duale Hochschule Baden-Württemberg)
Best Practices zum Entwickeln, Bauen und Debuggen eines Eclipse-Plugins zum Entwickeln in Java-TX - Baltasar Trancón Widemann (semantics GmbH)
Combinator 2: Judgement Day - Practical Experiences with Combinator Parsing in Java
18:30 Uhr Abendessen
Dienstag, 7. Mai 2019
9:00–10:30 Uhr – Sitzung IV: Softwaretechnik (Sitzungsleiter: Christian Heinlein)
- Marcellus Siegburg (Universität Duisburg-Essen)
A Task Generator for Matching Object Diagrams to Class Diagrams - Herbert Kuchen (Universität Münster)
Test-Case Generation for Information Systems - Oliver Westphal (Universität Duisburg-Essen)
Specifying teletype IO effects for testing, automatic exercise generation and beyond
10:30–11:30 – Sitzung V: Demos (Organisation und Leitung: Markus Lepper, Baltasar Trancón Widemann)
- Offene verteilte Demo-Runde
11:30 Uhr
- Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte
12:30–14:00 Mittagspause
ab 14:00 Uhr – Gemeinsame Wanderung/Exkursion
18:30 Uhr Conference Dinner
Mittwoch, 8. Mai 2019
9:00–10:30 Uhr – Sitzung VI: Formale Modelle (Sitzungsleiter: Herbert Kuchen)
- Markus Lepper (semantics GmbH), Michael Oehler, Hartmuth Kinzler, Baltasar Trancón y Widemann
Diminuendo al bottom - clarifying the semantics of music notation by re-modeling - Ralf Jung (MPI-SWS, Saarbrücken)
RustBelt: ein solides Fundament für Rust - Michael Leuscher (Universität Düsseldorf)
Ein Jupyter-Kernel für Logik und Mengentheorie
10:30–11:00 Kaffeepause
11:00–12:30 Uhr – Sitzung VII: Verschiedenes (Sitzungsleiter: Martin Plümicke)
- Patrick Stünkel (UAS West Norway)
From Bi- to Multidirectional Transformations: Eine Annäherung - Justus Sagemüller (Universität Köln)
Ideen zur pur-funktionalen Numerik mit starken Typen - Jens Knoop (TU Wien)
(The) Most Important Research Challenges in 5 Years from Now
12:30 Mittagessen und Ende des Workshops