Research_Int_MathCS_AUT

📌 رویداد روز جهانی منطق 2026 ◀️ برنامه سخنرانی‌ها: ✳️ لطف‌اله نبوی (دانشگاه تربیت مدرس) ترجمان گودلی: رهیافتی به وحدت گرایی منطقی (ساعت 14:30) ✳️ مسعود پورمهدیان (دانشگاه صنعتی امیرکبیر) رویکرد ریاضیاتی به منطق ریاضی (ساعت 15:30) ✳️ محمد ایزدی (دانشگاه صنعتی شریف) هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری ماشین (ساعت 17:00) زمان: چهارشنبه 24 دی‌ماه 1404 - ساعت 14:30 الی 18 مکان: تهران، خیابان آزادی، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر، طبقه 4، سالن خوارزمی 🌐 https://ialogic.ir 📧 mailroom@ialogic.ir

⭕ تمدید فراخوان ششمین دوره طرح پژوهانه همراه اول 🔹مهلت ششمین فراخوان حمایت مرکز تحقیق‌ و نوآوری همراه اول از پایان‌نامه‌ها و طرح‌های پژوهشی همسو با کسب‌وکار اپراتور اول، تا ۱۵ دی‌ماه ۱۴۰۴ تمدید شد. 🔹این فراخوان با هدف تقویت ارتباط صنعت و دانشگاه و حمایت از فعالیت‌های پژوهشی و فناورانه در حوزه ارتباطات و فناوری اطلاعات اجرا می‌شود و پایان‌نامه‌ها، رساله‌ها و طرح‌های پژوهشی دانشگاهی را پوشش می‌دهد. 🔹دانشجویان و پژوهشگران می‌توانند برای آگاهی از محورهای اولویت‌دار و ثبت‌نام، حداکثر تا ۱۵ دی‌ماه ۱۴۰۴ به نشانی mci.ir/web/rd/innovation-ecosystem#pazhouhaneh مراجعه کنند. http://mci.ir/-DBLUKU @mcinews

فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود. از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ 20 دی‌ماه ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند. ✳️ سخنرانان مدعو (به ترتیب الفبا) آبراهام، آجیت / دانشگاه سای (هندوستان) براتکا، واسکو / دانشگاه بوندسوهر مونیخ بیزو، ژان ایو / دانشگاه برزیل مک‌فراسون، دوگالد / دانشگاه لیدز یانگ، یو / دانشگاه ملی سنگاپور ✳️ رويکردهای نظری منطق - منطق جديد (رياضی و فلسفی) - منطق سنتی - منطق تطبیقی - منطق غيرصوری - فلسفه منطق ✳️ رويکردهای کاربردی منطق - تاريخ منطق - آموزش منطق - فلسفه تحليلی و زبانی - روش‌شناسی علم - تفکر انتقادی ✳️ منطق در هوش مصنوعی    • منطق در سیستم‌های خودمختار   • مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی   • منطق‌های غیرکلاسیک در یادگیری ماشین   • هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)   • منطق‌های توصیفی و بازنمایی دانش   • منطق و وب معنایی   • استدلال‌ورزی چندعاملی   • هوش مولد استدلال‌گر   • خوانش استدلالی ماشینی   • تفکر ماشینی   • منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی   • اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی   • کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا  ✳️ دبیران علمی همایش بهروز مینایی بیدگلی و نازنین روشندل توانا ✳️ اعضای کمیته علمی (به ترتیب حروف الفبا) - اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت) ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان) - امیرخانی، مهناز (دانشگاه الزهرا) - بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی) - حسینی، سیدحسن (دانشگاه صنعتی شریف) - دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی) - روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر) - سراجی، پیام (خانه ریاضیات اصفهان) - علائیان، مهدی (دانشگاه علم و صنعت) - قاری، مقداد (دانشگاه اصفهان) - مزینی، ناصر (دانشگاه علم و صنعت) - مینایی بیدگلی، بهروز (دانشگاه علم و صنعت) ✳️ دبیر اجرایی همایش ابراهیم اردشیر لاریجانی ✳️زمان و مکان برگزاری همايش ۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت

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

سخنرانی ارتباطات بین الملل و اخلاق پژوهشی دوشنبه 24 آذر ماه ساعت 13 سالن 313

معرفی فعالیت‌های پژوهشی آزمایشگاه های تخصصی دانشکده یکشنبه 23 آذر ماه

معرفی فعالیت‌های پژوهشی آزمایشگاه های تخصصی دانشکده یکشنبه 23 آذر ماه

معرفی فعالیت‌های پژوهشی آزمایشگاه های تخصصی دانشکده یکشنبه 23 آذر ماه

سمینار ارتباط با صنعت شنبه 22 آذر ماه سالن 313 ساعت 13-12

فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود. ✳️ سخنرانان مدعو: (به ترتیب الفبا) آبراهام، آجیت / دانشگاه سای (هندوستان) براتکا، واسکو / دانشگاه بوندسوهر مونیخ بیزو، ژان ایو / دانشگاه برزیل مک‌فراسون، دوگالد / دانشگاه لیدز یانگ، یو / دانشگاه ملی سنگاپور از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند. ✳️ رويکردهای نظری منطق - منطق جديد (رياضی و فلسفی) - منطق سنتی - منطق تطبیقی - منطق غيرصوری - فلسفه منطق ✳️ رويکردهای کاربردی منطق - تاريخ منطق - آموزش منطق - فلسفه تحليلی و زبانی - روش‌شناسی علم - تفکر انتقادی ✳️ منطق در هوش مصنوعی    • منطق در سیستم‌های خودمختار   • مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی   • منطق‌های غیرکلاسیک در یادگیری ماشین   • هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)   • منطق‌های توصیفی و بازنمایی دانش   • منطق و وب معنایی   • استدلال‌ورزی چندعاملی   • هوش مولد استدلال‌گر   • خوانش استدلالی ماشینی   • تفکر ماشینی   • منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی   • اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی   • کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا  ✳️ دبیران علمی همایش بهروز مینایی بیدگلی و نازنین روشندل توانا ✳️ اعضای کمیته علمی (به ترتیب حروف الفبا) - اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت) ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان) - امیرخانی، مهناز (دانشگاه الزهرا) - بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی) - حسینی، سیدحسن (دانشگاه صنعتی شریف) - دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی) - روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر) - سراجی، پیام (خانه ریاضیات اصفهان) - علائیان، مهدی (دانشگاه علم و صنعت) - قاری، مقداد (دانشگاه اصفهان) - مزینی، ناصر (دانشگاه علم و صنعت) - مینایی بیدگلی، بهروز (دانشگاه علم و صنعت) ✳️زمان و مکان برگزاری همايش 27 و 28 بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت

علم داده و کاربرد در صنعت سه شنبه 25 آذر ماه ساعت 12 سالن 313

سخنرانی ارتباطات بین الملل و اخلاق پژوهشی دوشنبه 24 آذر ماه ساعت 13 سالن 313

معرفی فعالیت‌های پژوهشی آزمایشگاه های تخصصی دانشکده یکشنبه 23 آذر ماه

معرفی فعالیت‌های پژوهشی آزمایشگاه های تخصصی دانشکده یکشنبه 23 آذر ماه

سمینار ارتباط با صنعت شنبه 22 آذر ماه سالن 313 ساعت 13-12

با عرض سلام و احترام خدمت دانشجویان گرامی همانطور که مستحضر هستید هفته آینده مصادف با هفته پژوهش می‌باشد. در راستای تقویت روحیه پژوهشی دانشجویان، معرفی دستاوردهای پژوهشی اساتید گرامی و آشنایی دانشجویان با تخصص‌های موجود در دانشکده، برنامه‌های زیر با همکاری اساتید گرانقدر تنظیم شده است: ۱. برگزاری نمایشگاه دستاوردهای پژوهشی دانشکده (از شنبه 22 لغایت چهارشنبه 26 آذر ماه طبقه سوم دانشکده ریاضی و علوم کامپیوتر) ۲. برگزاری سمینار با موضوع ارتباط با صنعت (سخنران آقای دکتر امین حسینقلی‌زاده) ۳. آشنایی و معرفی آزمایشگاه‌های تخصصی دانشکده (سرپرستان محترم آزمایشگاه‌ها) ۴. سمینار با موضوع ارتباطات بین‌الملل و اخلاق پژوهشی (سخنران سرکار خانم دکتر اخلاقی) ۵. سمینار با موضوع علم داده و کاربرد در صنعت (سخنران جناب آقای دکتر امیرحسین قطاری) از همه دانشجویان گرامی دانشکده در همه مقاطع تحصیلی دعوت می‌شود در مراسمات پیش‌رو حضور داشته باشند. در ویدئو کلیپ پیوست پوستر سخنرانی‌ها و عناوین قراردادهای صنعتی اساتید گرامی دانشکده در ۱۰ سال گذشته جمع‌آوری شده است. با تشکر فراوان

#اطلاعیه 🔰 اطلاعیه مهم برای دانشجویان دکتری متقاضی شرکت در مدرسه تابستانه دانشمندان جوان یاسا (YSSP) 🔻با توجه به اینکه مهلت ارسال پیشنهاده‌ها به برنامه YSSP تا تاریخ ۲۲ دی‌ماه تعیین شده است، متقاضیان می‌توانند برای دریافت راهنمایی و بهبود نسخه نهایی پیشنهاده خود، تا ۳۰ آذرماه پیشنهاده اولیه را از طریق سامانه کایپر برای بنیاد ملی علم ایران ارسال کنند. 🔸 بنیاد ملی علم ایران سند تازه‌ای را به زبان فارسی با هدف کمک به نگارش دقیق‌تر و استانداردتر پیشنهاده‌های این برنامه تدوین کرده است که در اینجا قابل دریافت است. 🔹متقاضیان می‌توانند در این لینک، علاوه بر مشاهده اطلاعات کامل برنامه، سند راهنمای تدوین پیشنهاده را نیز از بخش فایل‌های پیوست دریافت کنند. 📎 متن کامل خبر👇 🌐 https://insf.org/fa/news/1285 🆔@insf_pr