فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران
سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
✳️ سخنرانان مدعو: (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.
✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
✳️زمان و مکان برگزاری همايش
27 و 28 بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
✳️ سخنرانان مدعو: (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.
✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
✳️زمان و مکان برگزاری همايش
27 و 28 بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
Forwarded from Research_Int_MathCS_AUT (Mostafa Abbaszadeh)
سمینار ارتباط با صنعت
شنبه 22 آذر ماه
سالن 313
ساعت 13-12
شنبه 22 آذر ماه
سالن 313
ساعت 13-12
👏4👌1
Forwarded from Research_Int_MathCS_AUT (Mostafa Abbaszadeh)
معرفی فعالیتهای پژوهشی آزمایشگاه های تخصصی دانشکده
یکشنبه 23 آذر ماه
یکشنبه 23 آذر ماه
Forwarded from Research_Int_MathCS_AUT (Mostafa Abbaszadeh)
معرفی فعالیتهای پژوهشی آزمایشگاه های تخصصی دانشکده
یکشنبه 23 آذر ماه
یکشنبه 23 آذر ماه
Forwarded from Research_Int_MathCS_AUT (Mostafa Abbaszadeh)
سخنرانی ارتباطات بین الملل و اخلاق پژوهشی
دوشنبه 24 آذر ماه
ساعت 13
سالن 313
دوشنبه 24 آذر ماه
ساعت 13
سالن 313
👌4
با سلام و احترام
با افتخار به اطلاع میرساند که رساله دکتری آقای دکتر اکبر شیری لرد، تحت راهنمایی آقای دکتر مهدی دهقان، به عنوان رساله برتر دانشگاه جهت تقدیر در مراسم روز پژوهش دانشگاه صنعتی امیرکبیر انتخاب شده است. این موفقیت را به ایشان و استاد راهنما محترم تبریک و تهنیت عرض میکنیم.
با افتخار به اطلاع میرساند که رساله دکتری آقای دکتر اکبر شیری لرد، تحت راهنمایی آقای دکتر مهدی دهقان، به عنوان رساله برتر دانشگاه جهت تقدیر در مراسم روز پژوهش دانشگاه صنعتی امیرکبیر انتخاب شده است. این موفقیت را به ایشان و استاد راهنما محترم تبریک و تهنیت عرض میکنیم.
❤33👏8🎉7👌1
Forwarded from انجمن منطق ایران
فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران
سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ 20 دیماه ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.
✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی
✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ
✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی
✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
❤3
Forwarded from امیرکبیریها
⭕ تمدید فراخوان ششمین دوره طرح پژوهانه همراه اول
🔹مهلت ششمین فراخوان حمایت مرکز تحقیق و نوآوری همراه اول از پایاننامهها و طرحهای پژوهشی همسو با کسبوکار اپراتور اول، تا ۱۵ دیماه ۱۴۰۴ تمدید شد.
🔹این فراخوان با هدف تقویت ارتباط صنعت و دانشگاه و حمایت از فعالیتهای پژوهشی و فناورانه در حوزه ارتباطات و فناوری اطلاعات اجرا میشود و پایاننامهها، رسالهها و طرحهای پژوهشی دانشگاهی را پوشش میدهد.
🔹دانشجویان و پژوهشگران میتوانند برای آگاهی از محورهای اولویتدار و ثبتنام، حداکثر تا ۱۵ دیماه ۱۴۰۴ به نشانی mci.ir/web/rd/innovation-ecosystem#pazhouhaneh مراجعه کنند.
http://mci.ir/-DBLUKU
@mcinews
🔹مهلت ششمین فراخوان حمایت مرکز تحقیق و نوآوری همراه اول از پایاننامهها و طرحهای پژوهشی همسو با کسبوکار اپراتور اول، تا ۱۵ دیماه ۱۴۰۴ تمدید شد.
🔹این فراخوان با هدف تقویت ارتباط صنعت و دانشگاه و حمایت از فعالیتهای پژوهشی و فناورانه در حوزه ارتباطات و فناوری اطلاعات اجرا میشود و پایاننامهها، رسالهها و طرحهای پژوهشی دانشگاهی را پوشش میدهد.
🔹دانشجویان و پژوهشگران میتوانند برای آگاهی از محورهای اولویتدار و ثبتنام، حداکثر تا ۱۵ دیماه ۱۴۰۴ به نشانی mci.ir/web/rd/innovation-ecosystem#pazhouhaneh مراجعه کنند.
http://mci.ir/-DBLUKU
@mcinews