انجمن منطق ایران با همکاری دانشگاه صنعتی شريف برگزار می‌کند:

رويداد روز جهانی منطق 2026

اطلاعیه بسیار مهم:

با توجه به محدودیت‌های گسترده در بستر اینترنت کشور و محدودیت سطح دسترسی‌ها،

این رویداد تا اطلاع ثانوی به تعویق افتاد.

◀️ برنامه سخنرانی‌ها

✳️ لطف‌الله نبوی (دانشگاه تربیت مدرس)
ترجمان گودلی: رهیافتی به وحدت گرایی منطقی (ساعت ۱۴:۳۰)

✳️ مسعود پورمهدیان (دانشگاه صنعتی امیرکبیر)
رویکرد ریاضیاتی به منطق ریاضی (ساعت ۱۵:۳۰)

✳️ محمد ایزدی (دانشگاه صنعتی شریف)
هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری ماشین (ساعت ۱۷:۰۰)

زمان: چهارشنبه، ۲۴ دی‌ ۱۴۰۴ - ساعت ۱۴:۳۰ الی ۱۸
مکان: با توجه به محدوديت‌های اعلام شده توسط دانشگاه صنعتی شريف و مجازی شدن فعاليت دانشگاه تا پايان ترم جاری، اين رويداد به صورت مجازی در لينک https://vc.sharif.edu/ch/logicday برگزار می‌شود (به عنوان مهمان وارد شويد).

🌐 https://worldlogicday.com/events/2026/ial-world-logic-day-2026-event
🌐 https://wld.cipsh.international/wld2026.html