2027S

• Logic and Reasoning in Computer Science / 192.033 / VU

• Completeness of Synthesis Under Realizability Assumptions Using Superposition / Hajdu, M., Hozzová, P., Kovács, L., & Wagner, E. M. (2026). Completeness of Synthesis Under Realizability Assumptions Using Superposition. In A. Biere, C. Lutz, & S. Negri (Eds.), Automated Reasoning : 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I (pp. 22–40). Springer Cham. https://doi.org/10.1007/978-3-032-32589-1_2
  Download: PDF (944 KB)
  Project: DK - AR (2025–2029)
• Synthesis Benchmarks for Automated Reasoning / Hajdu, M., Hozzová, P., Kovács, L., Voronkov, A., Wagner, E. M., & Žilinčík, R. S. (2025). Synthesis Benchmarks for Automated Reasoning. In V. de Paiva & P. Koepke (Eds.), Intelligent Computer Mathematics : 18th International Conference, CICM 2025 :  Brasilia, Brazil, October 6–10, 2025 :  Proceedings (pp. 21–28). Springer Nature Link. https://doi.org/10.1007/978-3-032-07021-0_2
  Projects: ForSmart (2023–2027) / LEARN (2025–2026) / SFB SPyCoDe (2023–2030)
• Synthesis of Recursive Programs in Saturation / Hozzová, P., Amrollahi, D., Hajdu, M., Kovács, L., Voronkov, A., & Wagner, E. M. (2024). Synthesis of Recursive Programs in Saturation. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (pp. 154–171). Springer International Publishing. https://doi.org/10.1007/978-3-031-63498-7_10
• Program synthesis of provable recursive functions / Wagner, E. M. (2024). Program synthesis of provable recursive functions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120500
  Download: PDF (1.18 MB)