انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان
🔹 انجمن علمی علوم ریاضی برگزار می‌کند: «نشست مشترک دانشجویان و اعضای هیئت علمی دانشکده علوم ریاضی» پس از مدتی وقفه در فعالیت‌های حضوری، فرصتی فراهم شده است تا در نشستی صمیمانه تحت عنوان «تجدید دیدار، گفتگوی آزاد و هم‌اندیشی» گرد هم آییم. این برنامه شامل…
بعد از ماه‌ها دوری و پیش‌بردن فعالیت‌ها در فضای مجازی، بالاخره فرصتی فراهم شد تا در یک دورهمی صمیمانه و تریبون آزاد، دوباره دور هم جمع شویم. شنیدن دغدغه‌های دانشجویان و هم‌فکری مستقیم با اساتید محترم دانشکده، انرژی تازه‌ای به فضای دانشکده بخشید.
از تمامی اساتید گرانقدر و دانشجویان عزیزی که با حضور گرم و گفتگوهای سازنده‌شان این نشست را پربار کردند، صمیمانه سپاسگزاریم.
در بخش پایانی این برنامه، نگاهی هم به مسیر طی‌شده و تلاش‌های دوره گذشته انجمن علمی انداختیم. اکنون که در آستانه انتخابات دوره جدید انجمن هستیم، دانشکده بیش از پیش به ایده‌های نو، انگیزه و مشارکت فعال شما نیاز دارد.💡
برای ساختن اتفاقات بزرگ‌تر و ادامه‌ی این پویایی، منتظر حضور پررنگ شما در انتخابات پیش روی انجمن علمی هستیم!🌱
@math_SC
از تمامی اساتید گرانقدر و دانشجویان عزیزی که با حضور گرم و گفتگوهای سازنده‌شان این نشست را پربار کردند، صمیمانه سپاسگزاریم.
در بخش پایانی این برنامه، نگاهی هم به مسیر طی‌شده و تلاش‌های دوره گذشته انجمن علمی انداختیم. اکنون که در آستانه انتخابات دوره جدید انجمن هستیم، دانشکده بیش از پیش به ایده‌های نو، انگیزه و مشارکت فعال شما نیاز دارد.💡
برای ساختن اتفاقات بزرگ‌تر و ادامه‌ی این پویایی، منتظر حضور پررنگ شما در انتخابات پیش روی انجمن علمی هستیم!🌱
@math_SC
❤9
Forwarded from IUT SBISC
🔐 بیست و سومین کنفرانس بین‌المللی انجمن رمز ایران (ISC)
📌 شاخه دانشجویی انجمن رمز ایران - دانشگاه صنعتی اصفهان از تمامی علاقه‌مندان، دانشجویان و پژوهشگران جهت شرکت در بزرگ‌ترین رویداد رمزشناسی و امنیت کشور دعوت به عمل می‌آورد.
🏛 مکان برگزاری: تهران، دانشگاه صنعتی امیرکبیر
📅 تاریخ برگزاری: ۲۹ و ۳۰ مهر
برگزاری کارگاه‌های تخصصی: ۲۷ و ۲۸ مهر
🎁 مزایا و تسهیلات ویژه شرکت‌کنندگان:
🏠 اسکان خوابگاهی رایگان (برای ۲ روز کنفرانس)
🚌 بازپرداخت هزینه رفت‌و آمد (پس از ارائه و ارسال پوکه بلیت‌ها به انجمن رمز ایران)
🍳 صبحانه با قیمت مصوب دانشجویی قابل تهیه از سلف دانشگاه صنعتی امیرکبیر
🧠 محورهای اصلی کنفرانس:
• مبانی رمزشناسی و تحلیل رمز
• پیاده‌‌سازی الگوریتم‌های رمزنگاری و حملات مرتبط
• هوش مصنوعی و امنیت
• چالش نیروی انسانی و آموزش در امنیت
• پروتکل‌‌های امنیتی
• روش‌ها و مدل‌های امنیتی
• امنیت شبکه
• امنیت رایانش
• مدیریت امنیت و حریم خصوصی
• پنهان‌سازی اطلاعات
• جرم‌یابی دیجیتال
• موضوعات نوین در رمزنگاری و امنیت سایبری
• مقالات کوتاه علمی و صنعتی
@IUTSBISC1
📌 شاخه دانشجویی انجمن رمز ایران - دانشگاه صنعتی اصفهان از تمامی علاقه‌مندان، دانشجویان و پژوهشگران جهت شرکت در بزرگ‌ترین رویداد رمزشناسی و امنیت کشور دعوت به عمل می‌آورد.
🏛 مکان برگزاری: تهران، دانشگاه صنعتی امیرکبیر
📅 تاریخ برگزاری: ۲۹ و ۳۰ مهر
برگزاری کارگاه‌های تخصصی: ۲۷ و ۲۸ مهر
🎁 مزایا و تسهیلات ویژه شرکت‌کنندگان:
🏠 اسکان خوابگاهی رایگان (برای ۲ روز کنفرانس)
🚌 بازپرداخت هزینه رفت‌و آمد (پس از ارائه و ارسال پوکه بلیت‌ها به انجمن رمز ایران)
🍳 صبحانه با قیمت مصوب دانشجویی قابل تهیه از سلف دانشگاه صنعتی امیرکبیر
🧠 محورهای اصلی کنفرانس:
• مبانی رمزشناسی و تحلیل رمز
• پیاده‌‌سازی الگوریتم‌های رمزنگاری و حملات مرتبط
• هوش مصنوعی و امنیت
• چالش نیروی انسانی و آموزش در امنیت
• پروتکل‌‌های امنیتی
• روش‌ها و مدل‌های امنیتی
• امنیت شبکه
• امنیت رایانش
• مدیریت امنیت و حریم خصوصی
• پنهان‌سازی اطلاعات
• جرم‌یابی دیجیتال
• موضوعات نوین در رمزنگاری و امنیت سایبری
• مقالات کوتاه علمی و صنعتی
@IUTSBISC1
❤6
Forwarded from بخش دانشجویی خانه ریاضیات اصفهان
🔷 وبینارهای ماهانهٔ بخش دانشجویی خانه ریاضیات اصفهان
🔹 «چه موقع چند ابرصفحه یک فضا را می‌پوشانند؟»
👤 سخنران:
دکتر امیر جعفری
دانشگاه صنعتی شریف
🗓 پنجشنبه ۲۳ مهر ۱۴۰۵
🕖 ساعت ۱۶:۰۰
🔗 پیوند شرکت در وبینار:
https://www.skyroom.online/ch/mathhouse/students
♾️ حضور در این وبینار برای همۀ علاقه‌مندان آزاد است.
@IMHStudents
🔹 «چه موقع چند ابرصفحه یک فضا را می‌پوشانند؟»
👤 سخنران:
دکتر امیر جعفری
دانشگاه صنعتی شریف
🗓 پنجشنبه ۲۳ مهر ۱۴۰۵
🕖 ساعت ۱۶:۰۰
🔗 پیوند شرکت در وبینار:
https://www.skyroom.online/ch/mathhouse/students
♾️ حضور در این وبینار برای همۀ علاقه‌مندان آزاد است.
@IMHStudents
❤7
#SciTalk
🔸انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان برگزار می‌کند:
💥دورهمی علمی SciTalk
جایی برای هم‌افزایی علمی در کنار هم
جلسه هفتم:
«From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
👤 ارائه‌دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 زمان: سه‌شنبه ۲۱ مهر، ساعت ۱۷:۰۰
📍مکان: سالن خوارزمی، دانشکده ریاضی
🔻حضور برای تمامی علاقه‌مندان آزاد است.
🔹 کانال تلگرام انجمن: @math_sc
🔸انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان برگزار می‌کند:
💥دورهمی علمی SciTalk
جایی برای هم‌افزایی علمی در کنار هم
جلسه هفتم:
«From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
این ارائه به بررسی Bisimulation Games در Modal Logic و طبقه‌بندی آن‌ها از دیدگاه Game Theory می‌پردازد. پس از معرفی مفاهیم پایه و نحوهٔ عملکرد این بازی‌ها، ویژگی‌هایی مانند دونفره‌بودن، ترتیبی‌بودن، Perfect Information، Zero-Sum بودن و مفهوم Winning Strategy بررسی می‌شوند. همچنین تفاوت این بازی‌ها با بازی‌های اقتصادی و نقش آن‌ها در تشخیص Logical Equivalence توضیح داده می‌شود. در پایان نیز به ارتباط آن‌ها با First-Order Logic و Ehrenfeucht–Fraïssé Games اشاره خواهد شد.
👤 ارائه‌دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 زمان: سه‌شنبه ۲۱ مهر، ساعت ۱۷:۰۰
📍مکان: سالن خوارزمی، دانشکده ریاضی
🔻حضور برای تمامی علاقه‌مندان آزاد است.
🔹 کانال تلگرام انجمن: @math_sc
❤12
انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان
#SciTalk 🔸انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان برگزار می‌کند: 💥دورهمی علمی SciTalk جایی برای هم‌افزایی علمی در کنار هم جلسه هفتم: «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification» این ارائه به بررسی Bisimulation Games در Modal…
Classification of Bisimulation Games IUT Slides.pdf
368.4 KB
🔸 فایل ارائه شده در دورهمی علمی #SciTalk
🗒 «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
مقاله:
https://zenodo.org/records/22258054
🔸 می‌توانید ویدیوی ضبط شده این جلسه را از طریق پیوند زیر تماشا کنید:
https://nikan.iut.ac.ir/rooms/pic-hwm-kcs-zrg/public_recordings
🎙 ارائه دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 برگزار شده در تاریخ ۲۱ مهر ۱۴۰۵
🔹 کانال تلگرام انجمن: @math_sc
🗒 «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
مقاله:
https://zenodo.org/records/22258054
🔸 می‌توانید ویدیوی ضبط شده این جلسه را از طریق پیوند زیر تماشا کنید:
https://nikan.iut.ac.ir/rooms/pic-hwm-kcs-zrg/public_recordings
🎙 ارائه دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 برگزار شده در تاریخ ۲۱ مهر ۱۴۰۵
🔹 کانال تلگرام انجمن: @math_sc
❤5