Towards an Abstract Congruence Theorem for Big-step Operational Semantics, 11th SMLS, University College London, September 2025
Big-steps in Mathematical Operational Semantics, BECMC 2025, University of Birmingham July 2025
From Abstract Higher-Order GSOS to Abstract Big-Step Semantics, Abstractly (Early ideas), CALCO 2025, University of Strathclyde, June 2025, (Video)
Big-step semantics in category theory, The Math Suppers, University of Tehran, May 2025
Revealing the relation between small-step and big-step operational semantics in the light of abstract HO-GSOS, The Lab Lunch, University of Birmingham, May 2025
Mathematical Operational Semantics: From Small- step to Big-step, Facts and Snacks, University of Birmingham, March 2025
Abstract Transformation of Small-step Higher- order SOS to Big-step, Oberseminar (WiSe 2024/25), University of Erlangen-Nuremberg, December 2024
Towards a Big-Step Higher-Order Mathematical Operational Semantics, Oberseminar (SoSe 2024), University of Erlangen-Nuremberg, June 2024
Towards a Big-Step Higher-Order Mathematical Operational Semantics, MGS 2024, University of Leicester, April 2024
بهبود روش وارسی مدل با استفاده از تعبیر مجرد [Improving model checking with abstract interpretation], Master's Thesis Defense, University of Tehran, September 2023