Temur Kutsia, Daniel Ventura, David Monniaux, Josef Morales (ed.). Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. Proceedings of LSFA 2023 and HCVS 2023, EPTCS, 2024.[bib]
2023
Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia (ed.).Annals of Mathematics and Artificial Intelligence.Springer,ISSN 1012-2443. [doi][bib]
2022
Kevin Buzzard and Temur Kutsia (ed.). Intelligent Computer Mathematics. Proceedings of 15th International Conference, CICM 2022, Lecture Notes in Artificial Intelligence, 13467, 2022.Springer,ISBN 978-3-031-16680-8.[doi][bib]
Temur Kutsia, Andrew M. Marshall (ed.).Special issue of Annals of Mathematics and Artificial Intelligence on Theoretical and Practical Aspects of Unification.[bib]
