ISR 2024
14. Internationale Schule zur Termersetzung
25. August bis 21. September, 2024 | |
Obergurgl, Österreich |
PLDI 2023
44ste ACM SIGPLAN Konferenz zu Design und Implemetierung von Programmiersprachen
17. bis 21. Juni, 2023 | |
Orlando, Florida |
LPAR 2023
24ste Internationale Konferenz zu Logik für Programmierung, Künstlicher Intelligenz und Argumentation.
4. bis 9. Juni, 2023 | |
Manizales, Kolumbien |
PPDP 2022
24stes Internationales Symposium zu Prinzipen und Praktiken Deklarativer Programmierung.
20. bis 22. September, 2022 | |
Tbilisi, Georgia und Virtuell | |
CLAS 2022 |
FSCD 2022
7te Internationale Konferenz zu Formulen Strukturen für Berechnung und Deduktion.
2. bis 8. August, 2022 | |
Haifa, Israel | |
FLOC 2022 |
Mini-Symposium
Integration von Automatisierter Deduktion und Interaktivem Theorembeweis.
22. November, 2018 | |
Innsbruck, Österreich |
Helmut Veith Gedenk-Workshop
2. Feber, 2017 | |
Obergurgl, Österreich |
DICE-FOPARA
8er Workshop zu Entwicklungen in Impliziter Berechnungskomplexität und 5ter Workshop zu Grundsätzen und Praktischen Aspekten der Ressourcenanalyse.
22. bis 23. April, 2017 | |
Uppsala, Schweden |