📣 همایش معرفی رشته ریاضی و علوم کامپیوتر دانشگاه صنعتی شریف

‼️ویژه متقاضیان ورود به مقطع کارشناسی

🎙 پرسش و پاسخ با اساتید دانشکده

📊 بررسی چارت درسی رشته‌های ریاضی و علوم کامپیوتر

🗓 تاریخ و ساعت همایش: پنجشنبه ۸ شهریور، ساعت ۱۳:۳۰

🔘 برگزاری در اتاق مجازی انجمن علمی همبند

😀 برای شرکت در رویداد، حداکثر تا پایان سه‎‌شنبه 6 شهریور 1403 می‌توانید از طریق لینک زیر، به صورت رایگان ثبت‌نام کنید.
🔗 link

◀️ جهت مشاهده‌ی محتواهای دیگر و اطلاعات بیشتر، کانال تلگرام همایش را دنبال کنید:

🚀 @mcs_intro
🚀 @hamband_sut
➡️ Support

"جشن ورودی ۱۴۰۳"

🟢 پس از بررسی کاندیدهای دبیری جشن ورودی توسط شورای مرکزی، محمدیاسین زارع به عنوان دبیر این جشن انتخاب شد 😋🥳

🔵 یاسین که تجربه‌های متعددی در خیریه فردای سبز دارد و سال گذشته دبیری جشن یلدا را بر عهده داشت، امسال بار دیگر به یاد روزهای قدیم، به سراغ دبیری جشن ورودی رفته است. او که نمی‌خواست قله ندیده‌ای به‌جای بگذارد، پس از فتح دماوند این مسئولیت را قبول کرده‌است.

🟣 یاسین پس از انتخاب شدن به عنوان دبیر جشن، فرناز حاج‌منوچهری را که یک سال سابقه فعالیت در شورای مرکزی همبند و تجربه‌ی اجرایی بسیاری دارد، به عنوان نائب‌دبیر خود انتخاب کرده‌است.

🟡 اکنون تیم دبیری جشن ورودی شکل گرفته است. شما می‌توانید با پر کردن این فرم، ما را در برگزاری این جشن یاری کنید. پیشاپیش از همکاری شما سپاس‌گزاریم.


🚀 @hamband_sut ❤

🟢 همراهان گرامی،
تیم برگزاری جشن ورودی درحال تشکیل است. چنانچه علاقه‌مند به همکاری و فعالیت در این زمینه هستید، لطفاً با پرکردن این فرم، به ما در برگزاری بهتر این جشن یاری برسانید.

🔵 همچنین، در صورت تمایل، شما می‌توانید پیشنهادات و ایده‌های خود را در این زمینه با دبیر جشن ورودی در میان بگذارید.

❤ منتظر یاری گرمتان هستیم!

🚀 @hamband_sut ❤

📣 همراهان گرامی،
توجه‌ کنید که مهلت تکمیل این فرم، شنبه ساعت ۱۲:۰۰ می‌باشد.

❤️ خواهش‌مندیم با پرکردن فرم، ما را در برگزاری بهتر این جشن یاری کنید.

از توجه شما سپاس‌گزاریم.

🚀 @hamband_sut ❤

Here we go again!💩
اتاق همبند

◀️ با شروع سال تحصیلی جدید، تصمیم داریم برای اتاق همبند دستورالعمل‌هایی را قرار دهیم که هم به بهبود فضای مطالعه و کار حرفه‌ای و هم به حفظ فضای تعاملات دوستانه‌مون کمک کنه.

✅ بازه‌ی مطالعه:
بر اساس زمان‌بندی‌ای که در نظر گرفتیم، بازه‌ای مشخص برای مطالعه و کار فکری خواهیم داشت که همه بتوانند در آن زمان تمرکز کنند و به کارهای نیازمند به سکوت و آرامش خود(از جمله درس خواندن!) برسند.
این بازه‌، در روز‌های کاری، از ساعت ۱۴:۰۰ تا ۱۷:۰۰ می‌باشد.
طبیعتاً انتظار داریم در این بازه، تا جای امکان سکوت و آرامش در اتاق حکم‌فرما شود.

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

🔵 در نهایت، موارد دیگری مانند قوانین نظافت، نگه‌داری از وسایل اتاق و‌‌... به صورت کامل در این تلگراف آمده‌است.

❤️ امیدواریم با رعایت این موارد، بتوانیم فضایی آرام و دوستانه برای یادگیری و رشد ایجاد کنیم.

🚀 @hamband_sut ❤

❤ مجموعه جلسات «گذر»

💠عنوان:
"Probabilistic Programming for Machine Learning"

🎙 ارائه‌دهنده:
امیرعباس اسدی

🔻توضیحات:
Bayesian Learning provides a natural framework for approaching Machine Learning problems. For a long time, due to the significant computational cost of Bayesian inference, this framework was limited to simple models and problems with a small amount of data. Probabilistic Programming is the fruit of many years of research in approximate Bayesian inference aiming to address these limitations. This presentation is a friendly introduction to Probabilistic Programming. We will explore how modern inference methods and recent advances in Differentiable Programming can help us unlock the full potential of Bayesian Machine Learning.

Presentation outline:
- Bayesian Learning and Probabilistic Programs
- Probabilistic Programming in Julia
- Approximate Bayesian Inference
-- Markov Chain Monte Carlo
-- Variational Inference
- Differentiable Programming
- Discussing some examples:
-- Bayesian Deep Learning
-- Bayesian Neural Differential Equations
-- Inverse Optimization

پیشنیاز های علمی:  آمار و احتمال مقدماتی، آشنایی با Deep Learning



🌐 فرم ثبت‌نام

⏲ مهلت ثبت‌نام : ۱۵ مهر
🗓 زمان: چهارشنبه ۱۸ مهر - ساعت ۱۶:۰۰
📍مکان: به صورت هیبرید - کلاس ۱۰۹ دانشکده ریاضی


🚀 @Gozar_SUT ❤
🚀 @hamband_sut ❤

📣 به اطلاع می‌رساند که امکان شرکت مجازی و حضوری، در صورت ثبت‌نام، در تمام جلسات گذر، برای دانشجویان و علاقه‌مندان غیر شریفی هم برقرار است.


🚀 @Gozar_SUT ❤
🚀 @hamband_sut ❤

👀 مسئول اتاق

➕ در ادامه، در نظر داریم سیستم پیشین برای کمک گرفتن از همه‌ی شما عزیزان به عنوان مسئول اتاق، برای نگهداری از اتاق، را ادامه دهیم.

🔵 اگر تمایل دارید به عنوان داوطلب در نگهداری اتاق به ما کمک کنید، لطفاً به روابط عمومی همبند پیام دهید.

❌ در نظر داشته باشید که داوطلب شدن به معنای حضور همیشگی و هر روزه در اتاق نیست و صرفاً با هماهنگی شورای مرکزی، در روز‌های ممکن برای شما، به ما کمک خواهید کرد.

✅ همچنین، وجود مسئول اتاق می‌تواند به ایجاد نظم و آرامش بیشتر در اتاق کمک کند و در صورت نیاز، پیشنهادات و مشکلات موجود را به اطلاع شورای مرکزی برساند.

🚀 @hamband_sut ❤

سلام به همه‌ی نودانشجویان دانشکده ریاضی 👋

😄 در ابتدا، پشت سر گذاشتن کنکور و آغاز دوران دانشجویی‌ رو بهتون تبریک می‌گیم، حتماً سال پر فراز و نشیبی رو تجربه کردین تا به اینجا برسین.

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

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

🙂 توصیه می‌کنیم "راستا" رو دنبال کنید و به بقیه دوستان ورودی‌تون هم معرفی کنید.

با آرزوی موفقیت شما در این مسیر❤


📞 ارتباط با همبند: @hamband_admin

🚀 @raastaa ❤
🚀 @hamband_sut ❤

❤ انجمن علمی دانشکده علوم‌ریاضی دانشگاه صنعتی شریف (همبند) برگزار می‌کند:

❤ مجموعه جلسات «گذر»

💠 عنوان:
How to Count with Polynomials?

🎙 ارائه‌دهنده:
میلاد برزگر، محقق پسادکتری پژوهشگاه دانش‌های بنیادی (IPM)

🔻 توضیحات:
Counting perfect matchings in bipartite graphs is a fundamental problem in theoretical computer science (TCS) and combinatorial optimization. In TCS, the goal is to find (approximation) algorithms, and in combinatorics, the aim is to bound the number of perfect matchings in a specific class of graphs. In this talk, I will focus on regular bipartite graphs and discuss (1) deterministic approximation algorithms for the number of perfect matchings in these graphs, and (2) the Schrijver-Valiant conjecture, which determines the minimum number of perfect matchings in d-regular bipartite graphs of a given size. This conjecture was proposed by Schrijver and Valiant in 1980 and resolved by Schrijver in 1998. Schrijver’s proof is considered to be one of the most complicated and least understood arguments in graph theory!

One of the high points of matching counting (!) is Leonid Gurvits’ ingenious work in the early 2000s. He came up with a neat elementary argument for both (1) and (2). In fact, he created a machinery known as the “capacity method” that has since found many more applications. Gurvits’ approach is based on the “geometry of polynomials,” which is the study of the analytic properties of (multivariate) polynomials with complex or real coefficients. This work kick started a new trend known as the “polynomial paradigm.” Over the last two decades, people have used tools from the geometry of polynomials to solve a number of notorious open problems in mathematics and TCS. In this talk, I will go through Gurvits’ argument and the consequences of his ideas. In particular, I will try to highlight the importance of the notion of “capacity” and its applications in counting and optimization.

پیشنیاز های علمی: آشنایی با جبرخطی و احتمال

📍 امکان شرکت حضوری در این رویداد برای دانشجویان غیرشریفی نیز مهیا ست.

🌐 فرم ثبت‌نام

⏲ مهلت ثبت‌نام : ۵ آبان‌ماه
🗓 زمان: سه‌شنبه ۸ آبان‌ماه - ساعت ۱۵:۰۰
📍مکان: به صورت حضوری _ کلاس ۱۰۹ دانشکده ریاضی

🚀 @Gozar_SUT ❤
🚀 @hamband_sut ❤

❤ دعوت به همکاری در برگزاری ارائه‌های میان‌رشته‌ای

🙂 در دنیای امروز، چالش‌های پیچیده‌ای که جوامع با آن‌ها مواجه هستند، نیازمند رویکردهای چندجانبه است. این رویکردها با تکیه بر توانمندی‌های دانش‌های متفاوت و پیوند علوم مختلف، می‌توانند راه‌حل‌های مؤثری ارائه دهند.

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

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

◀️لطفاً جهت همکاری با ما در برگزاری این ارائه‌ها، به اکانت رسمی انجمن علمی پیام دهید.

از توجه شما سپاس‌گزاریم ❤

🌐 @hamband_sut ❤

❤ انجمن علمی دانشکده ریاضی دانشگاه صنعتی شریف (همبند) برگزار می‌کند:

❤ مجموعه جلسات «گذر»

💠 عنوان:
چندجمله‌ای‌های لورنتزی و تقریب زدن دنباله‌های لگاریتم محدب

🎙 ارائه‌دهنده:
مریم محمدی یکتا، کارشناسی ارشد دانشگاه واترلو

🔻 توضیحات:
در این ارائه، چندجمله‌ای‌های لورنتزی و لورنتزی دینرمالایزد شده (denormalized Lorentzian) را معرفی می‌کنیم. این چندجمله‌ای‌ها ارتباط نزدیکی با دنباله‌های لگاریتم محدب دارند و می‌توان با کمک آن‌ها، کران بالایی برای برخی از این دنباله‌ها یافت. به طور مثال، می‌توان تعداد ماتریس‌های m×n که جمع هر سطر و هر ستون‌ آن داده شده باشد، یا تعداد جریان‌های یک گراف جهت‌دار که جریان گذرا از هر رأس آن داده شده‌باشد را با کمک این چندجمله‌ای‌ها تقریب زد که در این ارائه به آن‌ها خواهیم پرداخت.

پیشنیاز های علمی: ریاضی ۲- آشنایی با گراف‌ها (در حد تعریف کفایت می‌کند)

📍 امکان شرکت در این رویداد برای عموم آزاد است.

🌐 فُرم ثبت‌نام

⏲ مهلت ثبت‌نام : ۱۲ آبان‌ماه
🗓 زمان: یکشنبه ۱۳ آبان‌ماه - ساعت ۱۸:۰۰
📍مکان: به صورت مجازی _ سامانه مجازی انجمن علمی همبند

🚀 @Gozar_SUT ❤
🚀 @hamband_sut ❤

❤️ انجمن علمی دانشکده ریاضی دانشگاه صنعتی شریف (همبند) برگزار می‌کند:

❤️ مجموعه جلسات «گذر»

💠 عنوان:
Non-Interactive Key-Exchange Protocols

🎙 ارائه‌دهنده:
الهه صادقی

🔻 توضیحات:
In this work, we initiate a study of
K-NIKE protocols in the fine-grained setting, in which there is a polynomial gap between the running time of the honest parties and that of the adversary. Our goal is to show the possibility, or impossibility, of basing such protocols on weaker assumptions than those of
K-NIKE for K >= 3.
We improve the security by further using algebraic structures, while avoiding pairings. In particular, we show that there is a 4-party NIKE in Shoup's generic group model with a quadratic gap between the number of queries by the honest parties vs. that of the adversary.

پیشنیاز های علمی:
Basic Knowledge of Group Theory and Cryptography.
I will explain the intuition behind every part of the lecture though, so everyone are welcome to join.

📍 شرکت در این برنامه برای عموم آزاد است.

🌐 فُرم ثبت‌نام

⏲ مهلت ثبت‌نام : ۲۲ آبان‌ماه
🗓 زمان: پنج‌شنبه ۲۴ آبان‌ماه _ ساعت ۱۹:۰۰
📍 مکان: به صورت مجازی

🚀 @Gozar_SUT ❤️
🚀 @hamband_sut ❤️