⭕️همایش "منطق ریاضی و کاربردهای آن" در تاریخ 13 شهریور ماه 1398 در دانشگاه صنعتی اراک و با همکاری پژوهشگاه دانشهای بنیادی IPM و انجمن منطق ایران برگزار می گردد.
سخنرانان مدعو:
📋دکتر سید محمد باقری، دانشگاه تربیت مدرس.
عنوان سخنرانی: فیلترها و اندازه ها در منطق
📋دکتر محسن خانی، دانشگاه صنعتی اصفهان.
عنوان سخنرانی: کمینگی ترتیبی (o-minimality)
📋دکتر سعید صالحی پورمهر، دانشگاه تبریز و پژوهشگاه دانشهای بنیادی.
عنوان سخنرانی: Logic and Computation and their Interactions
📋دکتر مرتضی منیری، دانشگاه شهید بهشتی.
عنوان سخنرانی: هموتوپی تایپ تئوری به عنوان بنیادی برای ریاضیات
📋دکتر مجتبی مجتهدی، دانشگاه تهران و پژوهشگاه دانشهای بنیادی.
عنوان سخنرانی: معادلات منطقی
📋دکتر مقداد قاری، دانشگاه اصفهان و پژوهشگاه دانشهای بنیادی.
عنوان سخنرانی: صورتبندی پارادوکس پروتاگورس در یک منطق تلفیقی توجیه، زمان و تکلیف
🖋 برای شرکت کنندگان و بویژه دانشجویان تسهیلاتی به شرح زیر در نظر گرفته شده است:
1- امکان اسکان برای تعداد محدودی از شرکت کنندگان وجود دارد. (اولویت در اسکان برحسب تاریخ ثبت نام میباشد.)
2- امکان کاهش هزینه ثبت نام برای تعدادی از دانشجویان وجود دارد. (هزینه ثبت نام صرفا برای پذیرایی از افراد در نظر گرفته شده است.)
3- امکان تهیه وسیله ایاب و ذهاب از تهران به اراک و برعکس برای تعداد محدودی از افراد وجود دارد. (برای هماهنگی بیشتر در این مورد با جناب آقای دکتر پورمهدیان pourmahd@ipm.ir تماس حاصل نمایید.)
📬برای اطلاعات بیشتر و ثبت نام به سایت همایش به آدرس زیر مراجعه نمایید:
Logic.arakut.at.irهمچنین میتوانید از طریق تلگرام و یا ایمیل khanaki@arakut.at.ir سوالات خود را مطرح نمایید.
@math_new