Programm des 
37. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
        Montag, 3. Mai 2021, bis Mittwoch, 5. Mai 2021
            Veranstaltungsort: Virtuell (Zoom)
     https://tuwien.zoom.us/j/94948368157?pwd=NTV0WDZJczh6VWpqeUlERld0ZWpXZz09


Mo, 03.05.2021
==============

10:00-10:15: Begrüßung (Jens Knoop, Baltasar Trancón y Widemann)
10:15-11:45: Sitzung 1 (Sitzungsleitung: Baltasar Trancón y Widemann)
             - Herbert Kuchen und Hendrik Winkelmann.
               Muli -- Eine constraint-logische objektorientierte Programmiersprache
             - Martin Plümicke.  
               Principal set of generated generics in Java-TX.
             - Andreas Stadelmeier.  
               Typinferenz für Featherweight Java.
11:45-12:00: Informeller Tagesabschluss


Di, 04.05.2021
==============

10:00-10:15: Informelle Sitzungseröffnung
10:15-11:45: Sitzung 2 (Sitzungsleitung: Martin Plümicke)
             - Kai-Oliver Prott, Finn Teegen und Jan Christiansen.  
               Ein GHC Plugin für Haskell-Varianten mit impliziten Effekten.
             - Finn Teegen, Kai-Oliver Prott und Niels Bunkenburg.  
               Automatische Funktionsinversion in Haskell.
             - Samuel Pilz und Hannes Siebenhandl. 
               Tool Support for the Automatic Assessment of Haskell Programs.
11:45-12:00: Informeller Sitzungsabschluss

15:00-16:00: Mitgliederversammlung

16:00-16:15: Informelle Sitzungseröffnung
16:15-17:45: Sitzung 3 (Sitzungsleitung: Herbert Kuchen)
             - Uwe Meyer und Björn Pfarr.  
               Patterns for Name Analysis and Type Analysis with JastAdd.
             - Thomas Prinz.  
               Eine Programmiersprache für verteilte Anwendungen.
             - Markus Lepper. 
               De Linguis Musicam Notare. Beiträge zur Bestimmung von Semantik und
               Stilistik moderner Musiknotation durch mathematische Remodellierung.
17:45-18:00: Informeller Sitzungsabschluss

18:00-20:00: Abendveranstaltung: `Heimliches' Beisammensein mit verteilter Wein- und Bierprobe


Mi, 05.05.2021
==============

13:15-13:30: Informelle Sitzungseröffnung
13:30-14:30: Sitzung 4 (Sitzungsleitung: Thomas Prinz)
             - Michael Hanus.
               Lightweight Declarative Server-Side Web Programming.
             - Wolfram Amme, Thomas S. Heinze und André Schäfer.  
               Erkennung von strukturellen Code-Klonen und Sub-Klonen in Java-Programmen.
14:30-14:45: Informeller Sitzungsabschluss und -eröffnung
14:45-15:45: Sitzung 5 (Sitzungsleitung: Peter Thiemann)
             - Till Schnell.
               Java ohne Wildcards.
             - Maria Bendix Mikkelsen, Robert Glück und Maja H. Kirkeby.  
               An Inversion Tool for Conditional Term Rewriting Systems.

15:45-16:00: Informeller Sitzungsabschluss

16:00-16:15: Informelle Sitzungseröffnung
16:15-17:45: Sitzung 6 (Sitzungsleitung: Michael Hanus)
             - Peter Thiemann.  
               On Oracles and Contract Modules.
             - Stefan Brunthaler. 
               μ-decompiler: The Munich Feedback-Directed Decompiler.
             - Baltasar Trancón y Widemann und Markus Lepper.  
               Beiträge zur Theorie der Revisionskontrolle (Semigroup Therapy for Gits).
17:45-18:00: Verabschiedung und Aufwiedersehen in Bad Honnef 2022!

18:00-...:   Informeller Ausklang