مهلت ثبت‌نام تا اطّلاع ثانوی تمدید شد.

در برنامه‌ی زمان‌بندیِ سمینارهای همایش هفتم، تغییراتی ایجاد شده. نسخه‌ی نهاییِ برنامه‌ها را این‌جا ببینید.

دومین بزرگ‌داشت روز جهانی منطق (سال ۱۳۹۸) سه شنبه ۲۴ دی ۱۳۹۸ ساعت ۱۴-۱۸ در دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهار، سالن میرحسنی، با سخنرانی‌های زیر برگزار می‌شود:


لطف الله نبوی (دانشگاه تربیت مدرس)، گودل و قرائت برگی از دفتر وی
سید محمد باقری (دانشگاه تربیت مدرس)، Compactness for infinitary propositional logics.
محمد گلشنی (پژوهشگاه دانش‌های بنیادی)، Godel's constructible universe and its extensios.
امیرحسین اکبرطباطبایی (دانشگاه اوترخت)، Intuitionistic implications: on the logics of spacetime.
ورود برای عموم آزاد است.

نخستین بزرگ‌داشتِ روزِ جهانیِ منطق، در دانشکده‌ی ریاضیِ دانشگاه صنعتیِ امیرکبیر برگزار شد: http://logic.aut.ac.ir

وب‌سایت رسمیِ انجمن منطق ایران:‌ https://ialogic.ir/
کانال تلگرام انجمن منطق ایران: @IranLogic

سخنرانی ماهانه‌ی انجمن منطق
تاریخ: دوشنبه ۲۸ بهمن ۱۳۹۸ ساعت ۱۶
عنوان: در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی
سخنران: مجید علیزاده (دانشگاه تهران)
محل برگزاری: تهران، خیابان انقلاب، دانشگاه تهران، دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
چکیده‌ی سخنرانی را در وبسایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/162-alizadeh-j-operator
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲ تیر ۱۳۹۹ ساعت ۱۶
عنوان: درستی جملات گودلی و راسری
سخنران: سعید صالحی پورمهر (دانشگاه تبریز)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://vclass.ecourse.sharif.edu/ch/mardeshir
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/163-salehi-godelean
کانال تلگرام انجمن منطق ایران:
@IranLogic

انجمن منطق ایران هشتمین همایش سالانه‌ی خود را برگزار می‌کند.
👈 ارسال مقالات تا تاریخ ۱۲ دی ۱۳۹۹ و از طریق ارسال ای‌میل به نشانیِ LC99@ialogic.ir
👈 ثبت‌نام از طریق وب‌سایت همایش از تاریخ ۱ بهمن تا ۱۵ بهمن ۱۳۹۹
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۶ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: چیست آنچه ما آن را «اثبات ریاضیاتی» می‌نامیم؟
سخنران: حسین بیات
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/alireza.darabi/ialogic
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/171-bayat
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۷ مرداد ۱۳۹۹ ساعت ۱۶
عنوان: نظایر شهودی قضیه‌ لوش-تارسکی
سخنران: مصطفیٰ زارع (دانشگاه دامغان)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/173-zare-fa
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۶ آبان ۱۳۹۹ ساعت ۱۶
عنوان: بنیان‌های زیستی منطق
سخنران: حامد باستین (دانشگاه تربیت‌مدرس)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی «میهمان» در دسترس است:
https://www.skyroom.online/ch/ial/monthly
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/174-bastin
کانال تلگرام انجمن منطق ایران:
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۲۴ آذر ۱۳۹۹ ساعت ۱۶
عنوان: تاثیر مبانی معرفت‌شناختی و هستی‌شناختی سهروردی در نقد نظریه تعریف مشائیان
سخنران: رضا اکبری (دانشگاه امام صادق)
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و به میزبانی انجمن علمی فلسفه دانشگاه تربیت مدرس برگزار می‌شود. برای ورود به گذرواژه نیازی نیست و فقط کافی است نام خود را وارد کنید.
https://lablive.modares.ac.ir/b/dav-vi7-eyf
چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/175-akbari
کانال تلگرام انجمن منطق ایران:
@IranLogic

با توجه به شرایط خاص پیش آمده از همه‌گیری کرونا، مهلت ارسال مقالات تا پایان دی‌ماه تمدید شد.

انجمن منطق ایران برگزار می‌کند.
سومین بزرگ‌داشت روز جهانی منطق (سال۱۳۹۹) پنج‌شنبه ۲۵ دی ۱۳۹۹ ساعت ۱۰-۱۶ و به میزبانیِ مَجازیِ دانشگاه امیرکبیر، برگزار می‌شود.

پیوند ورود به همایش مَجازی:
http://meetings2.aut.ac.ir/logicday/
کانال تلگرام انجمن منطق:
@IranLogic

👈 پیوند شرکت در همایش: (بدون نیاز به نام کاربری و کلمه‌ی عبور. تنها با وارد کردن نام خود می‌توانید در زمان برگزاری همایش، وارد شوید)
https://vclass2.modares.ac.ir/b/dav-p84-hhm-pra
👈 شرکت در همایش برای عموم علاقه‌مندان، آزاد و رایگان است.
👈 برنامه‌ی زمانی همایش:
https://ialogic.ir/index.php/colloquium/43-8th/165-program
👈 خلاصه‌ی مقالات پذیرفته شده جهت ارائه در همایش:
https://ialogic.ir/index.php/colloquium/43-8th/166-2021-02-01-06-28-57


کانال تلگرام انجمن منطق: @IranLogic

نخستین مدرسه‌ی سالانه‌ی انجمن منطق.
https://ialogic.ir
@IranLogic

سخنرانیِ ماهانه‌ی انجمن منطق ایران
تاریخ: دوشنبه ۳۰ فروردین ۱۴۰۰ ساعت ۱۶
عنوان: خواص ساختاری چه هستند؟
سخنران: مرتضیٰ منیری (دانشگاه شهید بهشتی)
سخنرانیِ برخط (آنلاین) از طریق اسکایپ برگزار می‌شود:

چکیده‌ی سخنرانی را در وب‌سایت انجمن ببینید:
https://ialogic.ir/index.php/lectures/198-moniri-fa
کانال تلگرام انجمن منطق ایران:
@IranLogic

برنامه‌ی زمانی نخستین مدرسه‌ی سالانه‌ی انجمن منطق ایران.
اطلاعات تکمیلی شامل چکیده و پیش‌نیازهای هر درس‌کوتاه را این‌جا ببینید.