(2026-2027)
Master Courses
Fuzzy Logic and Approximate Reasoning Syllabus
Proof Theory Syllabus
Bachelor Courses
Models of Computation Syllabus
Non-classical Logics Syllabus
Summer University
(with Stella Mahler) August 24 to September 4, 2026 18th International Summer University for Women in Engineering, University of Bremen in Germany,
ngenieurinnen-sommeruni Abstract Slides
"Proofs and Programs: Rethinking Mathematical Truth" - from Monday the 24th of August, 10 a.m., until Wednesday the 26th of August, 2:15 p.m.
"Logic in Action: Time, Inconsistency, and Computation" - from Thursday the 27th of August, 9 a.m., until Saturday the 29th of August, 11:30 a.m..
(2025-2026)
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