چهارشنبه 29 دی
10:00 - افتتاحيه با سخنرانی رئيس انجمن
10:15 - شرح برنامه برگزاری انتخابات و کانديداتوری افراد
10:30 - مهدی عظيمی (مدعو): مفهوم منطق نزد ابن‌سینا (رئیس جلسه: ضیاء موحد)
11:30 - استراحت
12:00 - حسن همتایی: زالتا طبق کلارک (رئیس جلسه: ضیاء موحد)
12:30 - فاطمه سادات نبوی: ساختارهای رجحانی در منطق تکلیف و منطق غیریکنوا (رئیس جلسه: ضیاء موحد)
13:00 - استراحت
15:00 - محمد گلشنی: Extensions of the Keisler-Shelah Isomorphism Theorem (رئیس جلسه: سعید صالحی)
15:30 - کريم خانکی: New results in “pure" model theory (رئیس جلسه: سعید صالحی)
16:00 - سیداحمد میرصانعی: تمامیت نااستاندارد توسیع‌های مرتبه اول منطق فازی MTL با استفاده از تک زنجیر (رئیس جلسه: سعید صالحی)
16:30 - ملوين فيتينگ (مدعو): Why Can’t Quantifier Domains Be Empty? (رئیس جلسه: سعید صالحی)

پنجشنبه 30 دی
10:30 - شهره طباطبایی سیفی: ترجمه زبان گفتمان DRT به زبان توصیف Z (رئیس جلسه: مرتضیٰ منیری)
11:00 - نازنين روشندل توانا: Complexity in Computable Analysis (رئیس جلسه: مرتضیٰ منیری)
11:30 - سارا نگری (مدعو): Modal embeddings revisited proof-theoretically (رئیس جلسه: مرتضیٰ منیری)
12:30 - استراحت
14:30 - ارايه گزارش فعاليت‌های انجمن منطق ايران در 1400
15:00 - اميررضا شیرعلی‌نسب: Language of a Topos as a Quotient of Category of Spans (رئیس جلسه: محمد اردشیر)
15:30 - مارک فان آتن (مدعو): Intuitionistic induction (رئیس جلسه: محمد اردشیر) 
16:30 - جلسه بحث آزاد (پرسش و پاسخ) با اعضای هيات مديره