انجمن علمی ریاضی دانشگاه قم
با همکاری انجمن علمی‌ هوش مصنوعی دانشگاه قم و انجمن منطق ایران برگزار می‌کند:

" نقش و جایگاه منطق در هوش مصنوعی "

مدرس :
👨‍🏫 سید احمد میرصانعی
دانشجوی دکترای تخصصی منطق
دانشگاه تربیت مدرس تهران

زمان :
📆 چهارشنبه ۵ اردیبهشت ماه ۱۴۰۳
🕖 ساعت ۱۱ الی ۱۳

🏢مکان : سالن یاس

‼️ویژه خواهران

📣 توجه :
< شرکت برای عموم رایگان می‌باشد >

🔗لینک ثبت نام

@iranlogic
ℵ @math_qom

📎 پوستر سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن

✳️ این سمینار توسط گروه منطق رياضي پژوهشكده رياضيات پژوهشگاه دانش‌هاي بنيادي، و با همکاری انجمن منطق ایران و به منظور آشنايي اعضاي هيأت علمي و دانشجويان دوره هاي تحصيلات تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، 2 و 3 خرداد 1403 (صبح و عصر) برگزار خواهد شد.

📌فرم ثبت‌نام: کلیک کنید.
🗓 مهلت ثبت نام: 30 اردیبهشت ماه 1403

✉️ [email protected]

🌐

https://math.ipm.ac.ir

🌐 https://ialogic.ir

Logica Universalis Webinars
Title: The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil
Speaker: Takaharu Oda
Time: Wednesday, Ordibehesht 26, 5:30 PM (Iran Local Time)
Permalink: cassyni.com/events/VcbUL4JvbUgedoJqAeaRQH

سمینار دو روزه‌ی منطق ریاضی و کاربردهای آن، به چهارشنبه و پنج‌شنبه آینده، 9 و 10 خرداد موکول شد.

برای مشاهده‌ی گالری تصاویر سمینار دو روزه منطق رياضي و کاربردهای آن، بر روی لینک زیر کلیک کنید:

گالری تصاویر

@iranlogic

Logica Universalis Webinars
Title: The Oppositions of Categorical Propositions In Avicenna’s Frame
Speaker: Saloua Chatti
Time: Wednesday, Khordad 30, 5:30 PM (Iran Local Time)
Permalink

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

تاریخ: دوشنبه 4 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹

عنوان: تصمیم‌پذیری و اعداد طبیعی

سخنران: محسن خانی (دانشگاه صنعتی اصفهان)

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

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

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

@IranLogic

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

تاریخ: دوشنبه 18 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹ (ساعت ۱۶ الی ۱۸)

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

سخنران: مقداد قاری (دانشگاه اصفهان)

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

آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول

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

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

@IranLogic

سخنرانی دکتر مقداد قاری فردا دوشنبه 18 تیر ۱۴۰۳، ساعت ۱۶ الی ۱۸ برگزار خواهد شد.

Logica Universalis Webinars
Title: Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)
Speaker: Fabien Schang
Time: Wednesday, Tir 20, 5:30 PM (Iran Local Time)
Permalink

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

انجمن منطق ایران دوازدهمین همایش سالانه‌ی خود را با همکاری دانشگاه اصفهان و خانه حکمت اصفهان در تاریخ ۴ و ۵ اسفند 1403 در دانشگاه اصفهان برگزار می‌کند.

حوزه‌های پژوهشی مرتبط عبارت‌اند از:

۱.منطق ریاضی / ۲. منطق فلسفی / ۳. فلسفه‌ی ریاضیات / ۴. فلسفه‌ی منطق / ۵. منطق قدیم / ۶.تاریخ منطق / ۷. منطق و علوم رایانه / ۸. منطق کاربردی / ۹. منطق و روش‌شناسی / ۱۰. آموزش منطق / ۱۱. منطق تطبیقی.

از پژوهشگران گرامی دعوت می‌شود خلاصه‌ی مقالات خود را مطابق شیوه‌نامه به آدرس زیر ایمیل کنند:

[email protected]

مهلت ارسال خلاصه‌ی مقالات: ۳۰ آذر 1403
شیوه نامه تهیه و تنظیم مقالات

برای راهنمایی و پاسخ‍گویی به سوالات مرتبط با همایش و همچنین ارايه پیشنهادات و نظرات، راه‌ ارتباطی زیر در دسترس است:
[email protected]
https://ialogic.ir
با سپاس
کمیته اجرایی همایش انجمن منطق ایران

Logica Universalis Webinars
Title: The Logic of God: A Pluralistic Representational Theory of Concepts
Speaker: Ricardo Sousa Silvestre
Time: Wednesday, Mordad 3, 5:30 PM (Iran Local Time)
Permalink

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

تاریخ: چهارشنبه 7 شهریور 1403، ساعت 16 الی 18
(تاریخ سخنرانی به درخواست سخنران و به دلیلی تعطیلی مؤسسات و دانشگاه‌ها جابجا شد.)

عنوان: ویژگی موضعاً جدولی در منطق ربط

سخنران: امیر حسین شرفی (دانشگاه تفرش)

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

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

چکیده‌ی سخنرانی: (کلیک کنید.)

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

@IranLogic

Logica Universalis Webinars
Title: Smurfing the Square of Opposition
Speaker: Alessio Moretti and Jean-Yves Beziau
Time: Wednesday, Mordad 31, 5:30 PM (Iran Local Time)
Permalink

📌 #یادآوری سخنرانی امروز
👇👇👇

ساعت 16 الی 18

عنوان: ویژگی موضعاً جدولی در منطق ربط

سخنران: امیر حسین شرفی (دانشگاه تفرش)

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

چکیده‌ی سخنرانی: (کلیک کنید.)

🛑 📎 سخنرانی سرکار خانم «دکتر پروین صفری» تحت عنوان «زیرمدول‌های مقدماتی فازی شهودی» که مطابق جدول اعلامی بنا بود دوشنبه ۲۶ شهریورماه ۱۴۰۳ برگزار شود، به درخواست ایشان لغو گردید.

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

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

عنوان: منطق ابتنای صوری

سخنران: داود حسینی (دانشگاه تربیت مدرس)

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

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

https://ialogic.ir/

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

@IranLogic

📌 یادآوری سخنرانی امروز (ساعت ۱۶ الی ۱۸)

عنوان: منطق ابتنای صوری

سخنران: داود حسینی (دانشگاه تربیت مدرس)

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

@IranLogic