📌 جلسه مجمع عمومی انجمن منطق ایران به صورت مجازی در تاریخ ۱ بهمن ۱۴۰۳ و با حضور جمعی از اعضای انجمن منطق ایران برگزار گردید. در این جلسه گزارش عملکرد سه ساله انجمن در کمیته‌های همایش، مالی و حقوقی، آموزش، پژوهش، اداری و امور بین‌الملل توسط اعضای هیأت مدیره فعلی ارائه گردید.

فراخوان ثبت نام در دوازدهمین همایش سالانه انجمن منطق ایران

دوازدهمین همایش سالانه انجمن منطق ایران با همکاری دانشگاه اصفهان و خانه حکمت اصفهان در روزهای 4 و 5 اسفند 1403 در دانشکده ادبیات دانشگاه اصفهان برگزار می‌گردد.
بزرگوارانی که قصد حضور در همایش دارند (هم سخنرانان و هم شرکت‌کنندگان) لازم است با ارسال اطلاعات زیر به ایمیل [email protected] فرایند ثبت نام را تکمیل کنند. علاوه بر ایمیل فوق، شماره تماس 09945831479 (دبیرخانه همایش) آماده پاسخگویی به سوالات بزرگواران است.
- نام و نام خانوادگی
- کد ملی
- رشته تحصیلی و دانشگاه
- مقطع تحصیلی یا شغلی
- شماره تماس

همچنین افرادی که متقاضی استفاده از امکانات اسکان در خوابگاه و غذای دانشگاه اصفهان هستند لازم است مبالغ زیر را به حساب زیر واریز و فیش پرداختی را همراه با مشخصات فردی فوق حداکثر تا تاریخ 22 بهمن 1403 به ایمیل [email protected] ارسال فرمایند.
لازم به ذکر است که کلیه هزینه‌های اسکان و پذیرایی افرادی که مقالاتشان برای ارایه در همایش پذیرفته شود در صورت حضور فیزیکی در همایش، با کمیته اجرایی همایش خواهد بود.

1. اسکان در خوابگاه دانشجویی دانشگاه اصفهان برای دو شب 3 و 4 اسفند ماه مبلغ 100 هزار تومان (با توجه به ظرفیت محدود خوابگاه دانشگاه اصفهان، اولویت با افرادی است که زودتر ثبت نام کنند)
2. تهیه ژتون ناهار برای دو روز همایش مبلغ 300 هزار تومان

با تشکر
کمیته اجرایی دوازدهمین همایش سالیانه انجمن منطق ایران

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه، ۲۹ بهمن ۱۴۰۳، ساعت ۱۶ الی ۱۸

عنوان: منطق و احتمال

سخنران: مسعود پورمهدیان (عضو هیأت علمی دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه‌ی ایران برگزار خواهد شد.

آدرس: تهران، خیابان نوفل لوشاتو، کوچه شهید آراکلیان، شماره ۴

پیوند سخنرانی برخط (آنلاین): https://www.skyroom.online/ch/irip/logic
————————————
@IranLogic

سومین اطلاعيه انتخابات ششمین دوره هيات مديره انجمن منطق ايران

با توجه به اتمام دوره سه ساله هيات مديره پنجم انجمن منطق ايران، انتخابات دوره ششم در مورخ ۵ تا ۷ اسفند ۱۴۰۳ برگزار خواهد شد. بر اين اساس و با توجه به آیین‌نامه برگزاری انتخابات، از کلیه اعضای پیوسته انجمن که واجد شرایط عضویت در هیات مدیره هستند دعوت می‌شود تا برای کاندیداتوری ثبت نام نمایند. شرایط لازم برای کاندیداتوری به شرح زیر است:
۱- داشتن مدرک دکتری در یکی از شاخه‌های مرتبط با منطق
۲- عضویت پیوسته در انجمن منطق ایران حداقل طی سال‌های ۱۴۰۲ و ۱۴۰۳ (براساس مصوبه هیات مدیره، اعضای هیات علمی با عضویت یکساله در ۱۴۰۳ نیز می‌توانند در انتخابات کاندید شوند).

از متقاضیان دعوت می‌شود که درخواست کاندیداتوری خود را به همراه رزومه تحصیلی و کاری (حداکثر ۳ صفحه) و تصویر مدرک تحصیلی دکتری (صرفا برای متقاضیان غیر هیات علمی) تا تاریخ ۳۰ بهمن ۱۴۰۳ به ایمیل دبیرخانه انجمن ([email protected]) ارسال نمایند.

با سپاس
هیات مدیره پنجم انجمن منطق ایران

برنامه دوازدهمين همايش ساليانه انجمن منطق ايران اعلام شد.

عضویت پیوسته ۱۴۰۴ انجمن منطق ایران
هزينه عضويت پيوسته انجمن منطق ايران برای سال ۱۴۰۴ اعلام شد. اين هزينه برای افراد هيات علمی مبلغ ۴.۵۰۰.۰۰۰ريال و غير هيات علمی مبلغ ۳.۰۰۰.۰۰۰ريال تعيين شده است.
افرادی که تا پايان اسفند ۱۴۰۳ برای عضويت ۱۴۰۴ اقدام نمایند، می‌توانند همان مبلغ حق عضويت سال ۱۴۰۳ را پرداخت کنند (فرم عضويت).

چهارمین اطلاعيه انتخابات ششمین دوره هيات مديره انجمن منطق ایران

زمان ثبت نام کاندیداهای انتخابات انجمن تا روز ۷ اسفند ۱۴۰۳ تمدید شد. تاریخ دقیق انتخابات که در اسفند ۱۴۰۳ به صورت مجازی برگزار می‌شود، متعاقبا اعلام خواهد شد.
شرایط لازم برای کاندیداتوری (عضو هیات مدیره و بازرس) با تصویب هیأت مدیره به شرح زیر اصلاح شد:
۱- دارندگان مدرک دکتری (دانشجویان دکتری که آزمون جامع را گذرانده‌اند با تایید هیات مدیره) در یکی از شاخه‌های مرتبط با منطق
۲- عضویت پیوسته در انجمن منطق ایران حداقل طی سال ۱۴۰۳.
۳- کاندیداهای بازرس انجمن صرفا باید عضو پیوسته طی سال‌های ۱۴۰۲ و ۱۴۰۳ باشند.

از متقاضیان دعوت می‌شود که درخواست کاندیداتوری خود را به همراه رزومه تحصیلی و کاری (حداکثر ۳ صفحه) و تصویر مدرک تحصیلی دکتری (صرفا برای متقاضیان غیر هیات علمی) تا تاریخ ۷ اسفند ۱۴۰۳ به ایمیل دبیرخانه انجمن ([email protected]) ارسال نمایند.

با سپاس
هیات مدیره پنجم انجمن منطق ایران

برای عضويت از اين لينک اقدام کنيد.

دوازدهمین همایش سالیانه انجمن منطق ایران از روز شنبه ۴ اسفند، ساعت ۸:۳۰ صبح آغاز می‌شود. اخبار این رویداد را در گروه فعالیت‌های انجمن پیگیری نمایید.
https://www.group-telegram.com/ialogicdiscussions

در همایش امسال بخش جانبی با عنوان پوستر ویدیویی راه‌اندازی شده است و مقالاتی برای ارایه به صورت ضبط‌شده پذیرفته شدند. پوسترهای ویدیویی را از اینجا ببینید.

پنجمین اطلاعیه انتخابات هیات مدیره انجمن منطق ایران

با پایان مهلت ثبت نام کاندیداهای انتخابات هیات مدیره و بازرسان انجمن منطق ایران، افراد زیر به عنوان کاندیداهای نهایی انتخابات اعلام می‌شوند:
کاندیداهای هیات مدیره:
- نازنین روشندل توانا (امیرکبیر)
- مرتضی منیری (شهید بهشتی)
- علی ولی‌زاده (دانشگاه اصفهان)
- احمد میرصانعی (تربیت مدرس)
- هومن محمد قربانیان (دانشگاه اصفهان)
- حامد باستین (مستقل)
- محمد ایزدی (صنعتی شریف)
- امیر خمسه (دانشگاه خوارزمی)
- افشین زارعی (ipm اصفهان)
- فرزاد دیده‌ور (امیرکبیر)
کاندیداهای بازرس:
- علی هدایی (دانشجوی ارشد فلسفه علم - دانشگاه اصفهان)
- فرشته رنجبری (دانشجوی دکتری منطق فلسفی - تربیت مدرس)
- سحر رنجبر (دانشجوی ارشد فلسفه علم - دانشگاه اصفهان)

انتخابات ششمین دوره انجمن منطق ایران از ساعت ۱۷ روز پنجشنبه ۱۶ اسفند ۱۴۰۳ لغایت ساعت ۱۷ روز شنبه ۱۸ اسفند ۱۴۰۳ به صورت مجازی برگزار می‌شود. لینک برگزاری و نحوه مشارکت در انتخابات از طریق گروه تلگرامی مجمع عمومی به اعضای پیوسته انجمن اطلاع‌رسانی خواهد شد.
جلسه مجمع عمومی برای اعلام نتایج انتخابات از ساعت ۱۸ تا ۱۹ روز شنبه ۱۸ اسفند ۱۴۰۳ با حضور ناظر کمیسیون انجمن‌های علمی به صورت مجازی و حضوری برگزار خواهد شد.

با سپاس
هیات مدیره پنجم انجمن منطق ایران

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 20 اسفند 1403، ساعت 16 الی 18

عنوان:
A computable version of Fraïssé limit for metric structures


سخنران: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.
————————————————

@IranLogic

نتايج نهايی انتخابات ششمين دوره هيات مديره و بازرسان انجمن منطق ايران به شرح زير اعلام می‌شود:

هیات مدیره:
1- حامد باستین (مستقل) - 55 رای
2- احمد میرصانعی (تربیت مدرس) - 54 رای
3- نازنین روشندل توانا (امیرکبیر) - 49 رای
3- هومن محمد قربانیان (دانشگاه اصفهان) - 49 رای
5- محمد ایزدی (صنعتی شریف) - 46 رای
6- مرتضی منیری (شهید بهشتی) - 35 رای
7- فرزاد دیده‌ور (امیرکبیر) - 24 رای
8- علی ولی‌زاده (دانشگاه اصفهان) - 12 رای
8- افشین زارعی (ipm اصفهان) - 12 رای
10- امیر خمسه (دانشگاه خوارزمی) - 9 رای

بازرس:
1- فرشته رنجبری - 39 رای
2- علی هدایی - 17 رای
3- سحر رنجبر - 3 رای

با توجه به انصراف آقای دکتر مرتضی منيری از عضويت علی‌البدل در هيات مديره و کناره‌گيری آقای دکتر افشين زارعی به نفع آقای دکتر علی ولی‌زاده (با توجه به آرای برابر)، ترکيب اعضای منتخب هيات مديره ششم به شرح زير اعلام می‌شود:

اعضای اصلی هيات مديره
- حامد باستين
- سید احمد میرصانعی
- نازنين روشندل توانا
- هومن محمدقربانيان
- محمد ايزدی
اعضای علی‌البدل هيات مديره
- فرزاد ديده‌ور
- علی ولی‌زاده

بازرس اصلی
- فرشته رنجبری
بازرس علی‌البدل
-علی هدايی

یادآوری سخنرانی امروز:

ساعت 16 الی 18

عنوان:
A computable version of Fraïssé limit for metric structures


سخنران: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب خیابان حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

برنامه سخنرانی‌های دو ماه اول ۱۴۰۴ - انجمن منطق ایران

دوشنبه، ۲۵ فروردين
- جاويد جعفری (دانشگاه تربيت مدرس)
يک منطق فراسازگار در زبان موجهاتی (Smin)

دوشنبه، ۲۹ اردیبهشت
- مجتبی آقايی (دانشگاه صنعتی اصفهان)
عنوان اعلام خواهد شد.

يادآوری ارسال مقاله برای شرکت در جایزه منطق ابن سینا ۱۴۰۴
- برگزيده جایزه ابن سينا ۱۴۰۴ نماينده ايران در جایزه سال منطق (دسامبر ۲۰۲۵ در پرو) خواهد بود.
- مقاله برگزيده ايران در ويژه‌نامه دسامبر ۲۰۲۵ مجله Logica Universalis منتشر می‌شود.

آخرين مهلت ارسال مقاله (کامل انگليسی): ۳۱ فروردين ۱۴۰۴

به اطلاع کلیه پژوهشگران و علاقمندان حوزه منطق می‌رساند که برای استفاده از تخفیف عضویت سال ۱۴۰۴ در انجمن منطق ایران، فقط تا پایان اسفند فرصت باقیست. از ابتدای فروردین ۱۴۰۴، نرخ مصوب عضویت ۱۴۰۴ اعمال خواهد شد.
برای عضویت از این لینک اقدام بفرمایید.

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 25 فروردین 1404، ساعت 16 الی 18

عنوان: "S_min : یک منطق فراسازگار در زبان موجهاتی"

سخنران: جاوید جعفری (فارغ‌التحصیل دکترای منطق فلسفی - دانشگاه تربیت مدرس)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر عج، خیابان حافظ، پلاک ۳۵۰، دانشگاه صنعتی امیرکبیر، ساختمان خوارزمی، سالن 311

/// با توجه به محدودیت‌های ورود و خروج دانشگاه امیرکبیر، افرادی که قصد شرکت حضوری در این سخنرانی را دارند به موارد زیر دقت بفرمایند:
* . از درب حافظ وارد دانشگاه شوید.
*. دانشجویان محترم کارت دانشجویی و سایرین کارت شناسایی معتبر به همراه داشته باشند. ///

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده سخنرانی: اینجا کلیک کنید.

————————————————

@IranLogic

با تصمیم اعضای ششمین دوره هیات مدیره انجمن منطق ایران، اعضای زیر برای سمت‌های مختلف هیات مدیره انتخاب شدند:
دکتر حامد باستین؛ رئیس هیات مدیره
دکتر هومن محمدقربانیان؛ نایب‌رئیس هیات مدیره
دکتر نازنین روشندل توانا؛ خزانه‌دار انجمن
سید احمد میرصانعی؛ دبیر انجمن

روسای کمیته‌های اجرایی به شرح زیر منصوب شدند:
کمیته امور بین‌الملل: دکتر هومن محمدقربانیان
کمیته پژوهش: دکتر محمد ایزدی
کمیته آموزش: دکتر نازنین روشندل توانا
کمیته همایش و رویدادها: سیداحمد میرصانعی
کمیته مالی/حقوقی: دکتر حامد باستین
کمیته اداری: دکتر حامد باستین