تاربرگ‌های پیموده‌شده در این نشست: پور سینا ⟩ آلن تورینگ ⟩ همتایی گویایی‌های درون‌یافت‌باوری و ابردرون‌یافت‌باوری با گویایی‌های سویی , S4 و فرا S4 ⟩ A⥽(B∨¬B) ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ استواره یکم نابَوَندَگی گودل