(2026)
Master Courses
Fuzzy Logic and Approximate Reasoning Syllabus
Proof Theory Syllabus
Bachelor Courses
Models of Computation Syllabus
Non-classical Logics Syllabus
Summer University
August 19 to September 3, 2026 18th International Summer University for Women in Engineering, University of Bremen in Germany,
ngenieurinnen-sommeruni Abstract Slides
(2025)
Summer School
(Goedel Logics) 3-6, September 2025, 19th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society,
Kutaisi, Georgia Abstract Slides
Summer University
August 20 to September 4, 2025, 17th International Summer University for Women in Engineering, University of Bremen in Germany,
Course Title: Challenge the truth!” 3 days (14 hours) Abstract Slides
Extension Course: "Non-classical logics: Would've, Could've, Should've!" (4+3 Hours) Abstract Slides
(2024)
Summer School
(Introduction to Epsilon Calculus) - 18th International Tbilisi Summer School in Logic and Language, Organized by Kurt Goedel Society, Tbilisi, Georgia (3 hours),13-14, September 2024 Abstract Slides