In: Sylvia Melzer; Hagen Peukert; Stefan Thiemann; Magnus Bender; Özgür L. Özçep; Nele Russwinkel; Kai Sauerwald; Diedrich Wolter (Hrsg.). Proceedings of the Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th German Conference on Artificial Intelligence. Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning (CHAI and FCR-2025), located at 48th German Conference on Artificial Intelligence (KI-2025), September 16-19, Potsdam, Germany, Pages 41-56, Vol. 4058, CEUR, 10/2025.
In: Proceedings of the ACM on Programming Languages. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2025), October 12-18, Singapore, Pages 248-273, Vol. 9, No. OOPSLA2, Association for Computing Machinery, New York, NY, USA, 10/2025.
Felix Wiebe; Niccolò Turcato; Alberto Dalla Libera; Jean Seong Bjorn Choe; BumKyu Choi; Tim Lukas Faust; Habib Maraqten; Erfan Aghadavoodi; Marco Calì; Alberto Sinigaglia; Giulio Giacomuzzo; Diego Romeres; Jong-Kook Kim; Gian Antonio Susto; Shubham Vyas; Dennis Mronga; Boris Belousov; Jan Peters; Frank Kirchner; Shivesh Kumar