Forschung
Aktuelle Publikationen der Gruppe werden auf einer separaten Seite aufgeführt.
Zusammen mit dem Lehrstuhl für Theoretische Informatik richten wir ein gemeinsames Forschungskolloquium aus.
Kürzliche und gegenwärtige Aktivitäten von Janis Voigtländer als Organisator, in Programm- und Steuerungskomitees:
- WPTE 2025
- Workshop: Eine Taxonomie zur Variabilisierung von Programmieraufgaben (DELFI 2024)
- WLP 2023
- PADL 2023
- MoHoL 2022
- SACLA 2022
- FLOPS 2022
- Haskell Symposium 2021 (ICFP-Seite)
- WPTE 2021
- APLAS 2020
- WFLP 2020
- IFL 2020
- MoHoL 2020
- TFPIE 2020
- FMFun 2019
- WLP 2019
- SACLA 2019
- WFLP 2018
- BX 2018
- Steuerungskomitee MPC (Mathematics of Program Construction), aktuellste Ausführung MPC 2022
Mehr zu früheren Aktivitäten hier.
Auch aktiv in der IFIP Working Group 2.1 on Algorithmic Languages and Calculi.