دانلود برنامه سخنرانی‌های همایش

دانلود فایل پوستر همایش

—————————————————————————-

برنامۀ

چهارمین همایش انجمن منطق ایران

 

ساعت

سخنران

عنوان سخنرانی

صبح

چهارشنبه

۸/۱۰/۱۳۹۵

۸:۳۰

۹

ثبت نام

 

۹

۱۰

محمد گلشنی

پژوهشگاه دانش‌های بنیادی

افزودن تمایزناپذیرها به کمک فورسینگ

با کاربرد در منطق وجهی فورسینگ

۱۰

۱۰:۳۰

پذیرایی

۱۰:۳۰

۱۱:۱۵

سلمان پناهی

دانشگاه ملبورن

دو وجهی نگری، ادات منطقی، و نتیجه منطقی

۱۱:۱۵

۱۲

زهرا غفوری

دانشگاه صنعتی شریف

اصل استقرای باز و دنباله‌های اسپکر

 

۱۲

۱۴

نماز و ناهار

عصر

چهارشنبه

۸/۱۰/۱۳۹۵

۱۴

۱۵

فاطمه سیفان

دانشگاه ارلانگن

منطق وجهی نقطه‌ثابت و خودران‌ها:

رویکرد هم‌جبری

۱۵

۱۵:۴۵

داود حسینی چفلی

دانشگاه تربیت مدرس

سمنتیکی برای رواداری بر پایه‌ی نظریه‌ی بازی

۱۵:۴۵

۱۶:۱۵

پذیرایی

۱۶:۱۵

۱۷

محمد زرقانی

علی اکبر استاجی

ابوالقاسم کریمی فیض ‌آبادی


دانشگاه حکیم سبزواری

جنبه‌های منطق توپوقاب‌ها

۱۷

۱۷:۴۵

پروین صفری

سعید صالحی پورمهر

دانشگاه تبریز

معناشناسی کریپکی برای منطق‌های فازی

 

صبح

پنج‌شنبه

۹/۱۰/۱۳۹۵

۹

۱۰

ضیاء موحد

موسسه پژوهشی


حکمت و فلسفه ایران

شعر و ریاضیات

۱۰

۱۰:۳۰

پذیرایی

۱۰:۳۰

۱۱:۱۵

پیام سراجی

سعید صالحی پورمهر

دانشگاه تبریز

تعمیم قضیه گودل- راسر

برای نظریه­های تعریف­پذیر

۱۱:۱۵

۱۲

فاطمه نبوی

دانشگاه قم

رویکرد فعلی در منطق اصول فقه


منتشر شده

در

توسط

برچسب‌ها:

دیدگاه‌ها

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *