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 in Programm- und Steuerungskomitees:
- 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 2019
Mehr zu früheren Aktivitäten hier.
Auch aktiv in der IFIP Working Group 2.1 on Algorithmic Languages and Calculi.