Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Teaching Formal Methods in Academia: A Systematic Literature Review. - Rustam Zhumagambetov (FMFun, 2019)

A biologically-inspired evaluation of molecular generative machine learning. - Elizaveta Vinogradova; Abay Artykbayev; Alisher Amanatay; Mukhamejan Karatayev; Maxim Mametkulov; Albina Li; Anuar Suleimenov; Abylay Salimzhanov; Karina Pats; Rustam Zhumagambetov; Ferdinand Molnár; Vsevolod Peshkov; et al. (CoRR, 2022)

Explainable AI needs formal notions of explanation correctness. - Stefan Haufe; Rick Wilming; Benedict Clark; Rustam Zhumagambetov; Danny Panknin; Ahcène Boubekki (CoRR, 2024)