- F. Didehvar, K. Ghasemloo, and M. Pourmahdian, Effectiveness in Continuous Logic, draft
- K. Ghasemloo, A small biography of Kurt Godel (Persian), Special Logic Issue of Mathematical Culture and Thought, Iranian Mathematical Society.
- Z. Ghadernejad and K. Ghasemloo, Lawvere's Comments on the Development of Topos Theory (Persian), draft.
- Locus Solum (Persian), for Computational Logic Seminar Course. Based on Jean-Yves Girard's recent works, specially Locus Solum, From foundations to ludics, On the meaning of logical rules I, On the meaning of logical rules II, Truth, modality and intersubjectivity, and The Blind Spot.
- Descriptive Complexity (Persian), for Computational Complexity Seminar Course. Based on Neil Immerman's Descriptive Complexity Book.
- Fagin's Theorem (Persian), for Model Theory II Course.
- Classic Model's of Computation (Persian), for Foundations and Logic Course. Based on Piergiorgio Odifreddi's Classical Recursion Theory, Vol. I, Chapter I.
- Scott's Isomorphism Theorem (Persian), for Model Theory I Course. Based on David Marker's Model Theory, An Introduction Book.
- Formalizing Model Theory in Set Theory (Persian), for Set Theory Course. Based on Kenneth Kunen's Set Theory, An Introduction to Independence Proofs Book.
- A Survey of Recent Advances in Voronoi Diagrams and Deluny Triangulations (Persian), for Computational Geometry Course. Mostly based on Handbook of Computational Geometry by J.R. Sack (Editor), J. Urrutia (Editor), and online resources.
- Monte-Carlo Method for Integration (Persian), for Numerical Analysis Course, A survey of the new developments in this area, including Quasi-Monte-Carlo Methods, Parallel Implementation, and Analysis.