📝 گزارش کامل برنامه رو می‌تونید از این‌جا بخونید.

انجمن علمی ریاضیات و کاربردها
انجمن علمی آمار
انجمن علمی علوم کامپیوتر

🎞 روایتی کوتاه از مراسم؛ مروری دوباره بر لحظات و خاطرات، این‌بار از زاویه‌ای متفاوت.

انجمن علمی ریاضیات و کاربردها
انجمن علمی آمار
انجمن علمی علوم کامپیوتر

🔥 انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:

🎈 کارگاه‌های آمادگی مسابقات برنامه‌نویسی ICPC 💻

📚 شامل: 
- تدریس الگوریتم‌ها
- حل مسئله و تمرین‌های هفتگی 
- مسابقات آزمایشی هفتگی 
- مسابقهٔ آزمایشی نهایی همراه با جوایز ارزنده

📆 در طول ۴ هفته: 
- ۴ جلسه کلاس درس
- ۴ سری تمرین با کلاس حل تمرین
- ۵ مسابقه (از مباحث تدریس‌شده و آزمایشی)

📖 پیش‌نیاز ها: آشنایی با برنامه نویسی مسابقه‌ای و الگوریتم‌های مقدماتی
🏅 با تدریس مدال‌آوران ادوار گذشته
📹 ویدیوی تمامی جلسات ضبط شده و در اختیار شرکت‌کنندگان قرار می‌گیرد.

🕔 زمان کلاس‌ها: شنبه‌ها از ۱ آذر، ساعت ۱۷:۳۰
🏫 مکان کلاس‌ها: کلاس ۲۲۱ دانشکدهٔ ریاضی، آمار و علوم کامپیوتر 
هماهنگی برای ورود دانشجویان سایر دانشگاه‌ها انجام خواهد شد.

💰 هزینهٔ ثبت‌نام
- دانشجویان سایر دانشگاه‌ها: ۳۰۰ هزار تومان 
- دانشجویان دانشگاه تهران: ۱۰۰ هزار تومان 
- دانشجویان دانشکدهٔ ریاضی، آمار و علوم کامپیوتر دانشگاه تهران: رایگان

برای ثبت نام اولیه به این لینک مراجعه کنید.

کانال اطلاع‌رسانی کارگاه‌ها

انجمن علمی علوم کامپیوتر دانشگاه تهران

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

🔷 منطق و علوم کامپیوتر؛ یک همزیستیِ برهم‌کنشی
(تقدیم به دانشجویان ورودی ۱۴۰۳ رشته‌ی علوم کامپیوتر دانشگاه تهران)

🔶 وجود رابطه‌ی نزدیک و طولانی میان منطق و علوم کامپیوتر واقعیتی انکارناپذیر است؛ رابطه‌ای از نوع همزیستی با بهره‌ی دوجانبه.
در این سخنرانی برآنیم تا با نگاهی تاریخی از این ایده دفاع کنیم که نه‌تنها منطق در پیشرفت علوم کامپیوتر موثر بوده، بلکه علوم کامپیوتر نیز بر شیوه‌ی منطق‌ورزی اثر گذاشته است، و در این وادی با برهم‌کنشی‌ای‌ در بردارنده‌ی جنبه‌های گوناگونِ بنیادین و کارکردی روبه‌روییم.

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

📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ: سه‌شنبه ۴ آذر
🕑 زمان: ساعت ۱۷:۳۰

🔗 @CS_Talks_UT

با توجه به تعطیلی دانشگاه در روز آتی، این ارائه در روز سه‌شنبه ۴ آذر برگزار نمی‌شود و به روز سه‌شنبه ۱۱ آذر موکول خواهد شد.

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

🔷 An introduction to Linux

🔶 New to Linux? This first session is your perfect starting point. We'll cover all the essentials: what Linux is, its core philosophy, and how to navigate the file system. We'll also demystify file permissions and explore some of the community's most famous memes. You'll leave with a solid foundation, ready to tackle hands-on installation in Session 2.

👤 کیاوش قنبری، دانشجوی ریاضی دانشگاه تهران

📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۰۱
📅 تاریخ: شنبه ۸ آذر
🕑 زمان: ساعت ۱۷:۳۰

🔗 @CS_Talks_UT

با توجه به تعطیلی دانشگاه در روز آتی، این ارائه در روز شنبه ۸ آذر برگزار نمی‌شود و به روز شنبه ۱۵ آذر موکول خواهد شد.

با توجه به تعطیلی دانشگاه در روز‌های آتی و درخواست دانشجویان، این ارائه در روز سه‌شنبه ۱۱ آذر برگزار نمی‌شود و تاریخ جایگزین متعاقباً اعلام خواهد شد.

یادآوری:
این ارائه فردا ۱۵ آذر در کلاس ۲۰۱ برگزار می‌شود.

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

🔷 پردازش زبان (از ماشین تورینگ تا LLM)

🔶 در این ارائه مسیری جذاب و فشرده از ریشه‌های نظری پردازش زبان طبیعی تا پیشرفت‌های عملی امروز را طی می‌کنیم. ابتدا مفاهیم بنیادی (ماشین تورینگ، نظریه محاسبه و مدل‌های زبان آماری) را مرور می‌کنیم، سپس تغییر پارادایم به یادگیری عمیق و معماری‌های عصبی (RNN، Transformer) را نشان می‌دهیم. بخش پایانی به ظهور مدل‌های زبانی بزرگ (LLM)، کاربردهای واقعی، چالش‌های فنی و چشم‌اندازهای آینده اختصاص دارد.

👤 سیدمحمدحسین یزدانی‌فر
رئیس هیئت مدیره و CTO شرکت نوا ویرا
دارنده مدال نقره و برنز کشوری المپیاد کامپیوتر

📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ: سه‌شنبه ۱۸ آذر
🕑 زمان: ساعت ۱۷:۳۰

🔓 ورود برای عموم آزاد است.

✍️ لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید

🔗 @CS_Talks_UT

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

🔷 منطق و علوم کامپیوتر؛ یک همزیستیِ برهم‌کنشی
(تقدیم به دانشجویان ورودی ۱۴۰۳ رشته‌ی علوم کامپیوتر دانشگاه تهران)

🔶 وجود رابطه‌ی نزدیک و طولانی میان منطق و علوم کامپیوتر واقعیتی انکارناپذیر است؛ رابطه‌ای از نوع همزیستی با بهره‌ی دوجانبه.
در این سخنرانی برآنیم تا با نگاهی تاریخی از این ایده دفاع کنیم که نه‌تنها منطق در پیشرفت علوم کامپیوتر موثر بوده، بلکه علوم کامپیوتر نیز بر شیوه‌ی منطق‌ورزی اثر گذاشته است، و در این وادی با برهم‌کنشی‌ای‌ در بردارنده‌ی جنبه‌های گوناگونِ بنیادین و کارکردی روبه‌روییم.

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

📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ: سه‌شنبه ۲۵ آذر
🕑 زمان: ساعت ۱۷:۳۰

🔓 ورود برای عموم آزاد است.

✍️ لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید

🔗 @CS_Talks_UT

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

🔷 World Models: From prediction to congnitive maps

🔶 Most AI reacts to data—but what if machines could imagine and plan like humans? This talk explores world models, showing how agents like Dreamer can master complex worlds such as Minecraft through internal simulation. We introduce Cloned-Structured Cognitive Graphs (CSCGs), a structured, interpretable approach that could open the door to more powerful and fundamentally different AI.

👤 آرش نیک‌زاد، دانشجوی علوم کامپیوتر دانشگاه تهران

📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ: سه‌شنبه ۲ دی
🕑 زمان: ساعت ۱۷:۳۰

🔓 ورود برای عموم آزاد است.

✍️ در‌ صورتی که از دانشگاهی غیر از دانشگاه تهران حضور پیدا می‌کنید، لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید.

🔗 @CS_Talks_UT

🍉 هم‌نشینی یلدا

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

💬 در ابتدای برنامه، مدتی در خدمت استادهای عزیز هستیم تا از تجربه‌ها و خاطره‌هاشون برامون بگن.

🎲 در ادامه، هم‌زمان با پذیرایی، می‌تونید بردگیم‌های مختلف بازی کنید و با دوستاتون تفریح کنید.
🏆 در این بخش، لیگ اسم‌فامیل همراه با جایزه هم برگزار می‌شه. اگه دوست دارید توی این لیگ شرکت کنید، به‌همراه ۲ نفر از دوستاتون یه تیم بسازید و فرم ثبت‌نام رو پر کنید.

❓ راستی اگه سؤال بامزه‌ای دارید که دوست دارید از استادها پرسیده بشه، می‌تونید سؤالتون رو از طریق این فرم با ما به اشتراک بذارید.

🕰 زمان: یک‌شنبه ۳۰ آذر، از ساعت ۵:۳۰
📍مکان: کلاس ۲۲۱ دانشکده

منتظرتون هستیم. 🍉

انجمن علمی علوم کامپیوتر دانشگاه تهران

با توجه به همزمانی این برنامه با مسابقه‌ی والیبال دانشکده، این برنامه در روز سه‌شنبه ۲ دی برگزار نمی‌شود و به روز سه‌شنبه ۹ دی موکول خواهد شد.

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

🔷 محاسبه به عنوان مفهومی انتزاعی

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

👤 علی دستجردی، دانشجوی علوم ‌کامپیوتر دانشگاه تهران

📍مکان: دانشکده‌ی ریاضی، آمار و علوم ‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ: یک‌شنبه ۷ دی
🕑 زمان: ساعت ۱۷:۱۵

🔓 ورود برای عموم آزاد است.

✍️ لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید

🔗 @CS_Talks_UT