برنامه رویداد

خوش‌آمد و سخن آغازین

مقدماتی در منطق ریاضی و نظریه مدل

علی ولی‌زاده

نظریه مرتبه اول حساب

ارشیا کاظمی

مدل‌های نااستاندارد حساب

کوثر صادقی

نظریه مدل و دسته‌بندی گروه‌های متناهی

کورش مودّت‌نژاد

محدودیت‌های منطق مرتبه اول: دیدگاهی مبتنی بر بازی‌های اِرِنفویشت-فِراسه 

شایان نجفیان

بازی‌های مبتنی بر شبیه‌سازی دوسویی: تمایزناپذیری منطقی و دسته‌بندی از دیدگاه نظریه بازی‌ها

پوریا مرادپور

کاربرد منطق جهت در تایید برنامه‌ها

ریحانه باقری

فیلتر‌ها، فرافیلترها و قضیه اِستون

تهمینه ترابی

فراضرب‌ها، فراتوان‌ها و قضیه واش

رؤیا خیری

بی‌نهایت کوچک‌ها و آنالیز نااستاندارد

فاضل امین