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

سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.
از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ 20 دی‌ماه ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.

✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مک‌فراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور

✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روش‌شناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی 
  • منطق در سیستم‌های خودمختار
  • مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی
  • منطق‌های غیرکلاسیک در یادگیری ماشین
  • هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)
  • منطق‌های توصیفی و بازنمایی دانش
  • منطق و وب معنایی
  • استدلال‌ورزی چندعاملی
  • هوش مولد استدلال‌گر
  • خوانش استدلالی ماشینی
  • تفکر ماشینی
  • منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی
  • اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی
  • کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا 

✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا

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

✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی

✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت

🔥 بمب تخفیف ۷۰ درصدی اکانت‌های پرمیوم! 🔥

دیگر نگران هزینه‌های دلاری و سنگین اکانت‌های پژوهشی نباشید! گروه اکانت‌های امیرکبیر بهترین ابزارها را با کمترین قیمت به سفره تحصیلی شما آورده است. 😇

📌 لیست اکانت‌های موجود (تحویل فوری):

🔹 گرامرلی (Grammarly) 🔹 کویل‌بات (Quillbot) 🔹 وردتیون (Wordtune) 🔹 ترنیتین (Turnitin) 🔹 چت جی‌پی‌تی (GPT-4) و ...

🎯 مخصوص: اپلای، نگارش مقاله، پروپوزال و پایان‌نامه

⭐️ چرا Autgrammarly؟
۱. نماد اعتماد و سابقه درخشان در دانشگاه امیرکبیر ۲. قیمت‌های کاملاً رقابتی و دانشجویی ۳. فعال‌سازی سریع و پشتیبانی دائم

✅ خرید آنلاین و معتبر: 🌐 Autgrammarly.com

📢 کانال تلگرام: 🆔 @Autgrammarly

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

🎬 سی‌امین رویداد "AUT TALK"

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

📆 تاریخ:
یک شنبه - ۷ دی ماه ۱۴۰۴

⏳ ساعت:
۱۱:۰۰ الی ۱۳:۳۰

📍 مکان:
سالن فجر

🖇 لینک ثبت‌نام

#اداره_انجمن‌های_علمی_دانشجویی
#معاونت_فرهنگی_دانشجویی
#دانشگاه_صنعتی_امیرکبیر
#دانشگاه_پلی_تکنیک_تهران
#انجمن_علمی_مهندسی_پلیمرورنگ

تلگرام اینستاگرام لینکدین

برای رزرو اتاق بازی در هفته آینده لطفا اینجا کلیک کنید.
همچنین درصورتی که برای رزرو اتاق به مشکل برخورد کردید می توانید از طریق اکانت انجمن مشکل خود را بیان کنید تا با راهنمایی پشتیبانی بتوانید رزرو خود را نهایی کنید.
@MCS_SSC_admin
➖➖➖➖➖➖➖➖➖➖➖➖
تلگرام | اینستاگرام

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

با سلام و وقت بخير،

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


💢توپولوژی:

https://forms.gle/tfjYKogxF3WzhthJA

🔺️ساختن در عصر هوش مصنوعی🔺️

🔸️نگاهی به روند به‌کارگیری هوش مصنوعی در حل مسائل صنایع

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

📌زمان: سه‌شنبه ۹ دی | ساعت ۱۲ تا ۱۳:۳۰
مکان: دانشگاه صنعتی امیرکبیر، سالن مولانا

📌ثبت‌نام کنید.
https://survey.porsline.ir/s/WWfmyv5b

🌐 @aiinnovationfactory | لینکدین | اینستاگرام

در ششمین رویداد تک‌وتاک، سلسله رویدادهای تخصصی در حوزه توسعه نرم‌افزار همکاران سیستم که به‌ صورت #رایگان و #آنلاین برگزار می‌شه، به دنیای جذاب هوش مصنوعی و LLM‌ها سر خواهیم زد. سرفصل‌های این رویداد عبارتند از:

✅ مروری بر سیر تحولات LLM‌ها و VLM ها تا به امروز
✅ معرفی تسک‌های مختلف LLM‌ها و VLM‌ها
✅ آشنایی با Benchmark‌ها و Leaderboard‌ها
✅ مقایسه AI Platform های ارائه دهنده سرویس
✅ انتخاب LLM مناسب

🗣️ ارائه‌دهنده: سروش عاشوری‌صفت | Data Scientist همکاران سیستم
📅 پنج‌شنبه ۱۸ دی‌ماه | ساعت ۱۰ تا ۱۲

شرکت در رویداد فقط در صورت ثبت‌نام امکان‌پذیره.

اطلاعات بیشتر و لینک ثبت‌نام:
https://B2n.ir/zg8767
.
Linkedin | Instagram

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

🔹 عصرانه ریاضی
نشستی صمیمی و علمی با هدف گفت‌وگو، تبادل نظر و آشنایی نزدیک‌تر دانشجویان با دیدگاه‌ها و تجربیات اساتید محترم.

🔸 سخنوران:
👤 دکتر حسن حقیقی
عضو هیأت علمی دانشگاه صنعتی خواجه‌ نصیرالدین طوسی

👤 دکتر طاهره آلادپوش
پژوهشگر پسادکترا در پژوهشگاه دانش‌های بنیادی (IPM)

🗓 سه‌شنبه ۱۶ دی‌ماه
⏰ ساعت ۱۷:۰۰

🏢 مکان برگزاری:
انجمن ریاضی ایران
تهران، خیابان ویلا، بوستان ورشو، ساختمان سالن فردوسی، پلاک ۱۰، طبقه اول

✨ از تمامی علاقه‌مندان به علم ریاضی دعوت می‌شود با حضور و مشارکت فعال خود، به غنای علمی و فرهنگی این نشست بیفزایند.

#عصرانه_ریاضی #انجمن_ریاضی #نشست_علمی #ریاضیات


جهت شرکت در این برنامه فرم را تکمیل نمایید
https://forms.gle/nfBL7r78bj4g8FDX6

🖤با یاد آن پرواز ناتمام،
آن لحظه‌ای که آسمان، سنگین‌تر از همیشه بر زمین فرود آمد.
کسانی رفتند که رویاهایشان هنوز در مسیر زندگی بود،
و نامشان برای همیشه در حافظه‌ی ما ماندگار شد.

در میان جان‌باختگان پرواز اوکراینی،
دل‌هایی از جنس علم و اندیشه خاموش شدند؛

❤️‍🩹فراز فلسفی ، ورودی 85 کارشناسی
❤️‍🩹 آلما اولادی ، ورودی 94 کارشناسی ارشد

یادشان نه فقط در سوگ،
که در احترام به آرزوهای ناتمامشان زنده است.
روحشان آرام،
و نامشان همواره روشن در خاطره‌ی ما. 🕊️

انجمن علمی دانشکده ریاضی و علوم کامپیوتر
@mcs_ssc