Adaptive Multi-Agent Programming with Promises. - Oleks Shturmov (ACSOS-C, 2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)