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

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

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

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

جلسه سخنرانی در حال برگزاری است ...

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

📎اطلاعات بیشتر و ثبت نام:

https://www.irip.ac.ir/u/15H

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

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

Logica Universalis Webinars + Springer Nature
Title: On the Mathematical Modeling in Logic. An Analysis of the Structural Part of Object Determination Logic through the Formal Concept Analysis
Speaker: Anca Pascu
Time: Wednesday, Ordibehesht 10, 5:30 PM (Iran Local Time)
Permalink

فرم ثبت نام شرکت در سمینار دو روزه منطق ریاضی فعال شده است. جهت ثبت نام به آدرس ذیل مراجعه نمایید:
https://math.ipm.ac.ir

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

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

عنوان: گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)

سخنران: مجتبی آقایی (دانشگاه صنعتی اصفهان)

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

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان، دانشکده‌ی ادبیات و علوم انسانی، تالار دکتر ربّانی

پیوند سخنرانی برخط (آنلاین): 🔗
https://meet.google.com/iuy-aqhe-axd

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

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

@IranLogic

برنامه سخنرانی ها در سایت سمینار دو روزه منطق ریاضی قرار داده شده است.
https://math.ipm.ac.ir/conferences/2025/Logic2025/Schedule-Seminar.pdf

یادآوری سخنرانی امروز دوشنبه ۲۹ اردیبهشت ۱۴۰۴ ساعت 16 الی 18

عنوان: گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)

سخنران: مجتبی آقایی (دانشگاه صنعتی اصفهان)

#حضوری_مجازی

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان، دانشکده‌ی ادبیات و علوم انسانی، تالار دکتر ربّانی

پیوند سخنرانی برخط (آنلاین): 🔗
https://meet.google.com/iuy-aqhe-axd

قابل توجه پژوهشگران منطق ایران
فردا آخرین فرصت ارسال مقاله برای شرکت در جایزه سال منطق ۱۴۰۴ است. لطفا مقالات خود را حداکثر تا ساعت ۱۲ شب روز ۳۱ اردیبهشت به ایمیل mailroom@ialogic ir ارسال نمایید. لطفا توجه داشته باشید که این زمان تمدید نخواهد شد.

با سپاس

Logica Universalis Webinars + Springer Nature
Title: Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason
Speaker: Hugolin Bergier
Time: Wednesday, Khordad 7, 5:30 PM (Iran Local Time)
Permalink