انجمن علمی همبند

❗️ یادآوری

⏲ فرم ثبت‌نام این برنامه ۲ ساعت دیگر (ساعت ۱۲ ظهر) باز خواهد شد.

❗️ دقت کنید که به دلیل کمبود ظرفیت، افرادی که زودتر ثبت‌نام کنند در اولویت خواهند بود.

🎓 همچنین دانشجویان دانشکده‌ی علوم ریاضی و ورودی‌های ۱۴۰۱ به قبل در اولویت‌اند.

🚀 @hamband_sut ❤

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

▎ بازدید از شرکت یکتانت

با حضور:
👤 دکتر علیشاهی
هیئت علمی دانشکده علوم ریاضی

👥 ظرفیت: ۲۰ نفر
ظرفیت برای شرکت در این برنامه محدود است و اولویت با افرادی است که زودتر فرم ثبت‌نام را پر کنند.

🎓 دانشجویان دانشکده علوم ریاضی و ورودی‌های ۱۴۰۱ به‌قبل در اولویت‌اند.

⏲ شروع ثبت‌نام: شنبه ۱۰ آذرماه ساعت ۱۲:۰۰
تاریخ برگزاری: چهارشنبه ۱۴ آذرماه | ساعت ۱۶:۰۰ تا ۱۸:۰۰

🗒 فرم ثبت‌نام

🚀 @hamband_sut ❤️

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

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

💠 عنوان:
identification problems in graphs

👤 ارائه‌دهنده:
Dr. Florent Foucaud
associate professor at the Université Clermont Auvergne


🔻پیشنیازهای علمی:
The talk will focus on graph theory. It is good to know the definition of a graph, but I will try to give an understandable talk.

👥 این ارائه به زبان انگلیسی می‌باشد و شرکت در آن برای عموم آزاد است.

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

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

🚀 @Gozar_SUT ❤️
🚀 @hamband_sut ❤️

👥 همبند معرفی می‌کند:

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

فرم زیر

📣 آغاز فصل سوم سلسله جلسات بایوگپ(BioGap)

به اطلاع علاقمندان و همراهان گرامی بایوگپ می‌رسانیم:

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

❗️ این جلسه به صورت مجازی در بستر اسکای روم برگزار می گردد و ورود برای عموم آزاد و رایگان است.

⏰ یکشنبه، ۴ آذر ماه ۱۴۰۳ ساعت ۱۸

🌐 لینک جلسه:
https://www.skyroom.online/ch/ibis/biogap


@IranianBioinformaticsSociety
@CBRC_aut

👥 اطلاعیه

❗️ به اطلاع می‌رساند، بر اساس بررسی‌های انجام‌شده، اطلاعات منتشرشده درباره‌ی برگزاری اردوی بازدید از موزه کامپیوتر ایران برای دانشجویان ورودی که به دانشکده علوم ریاضی نسبت داده شده، نادرست بوده‌است.

🚫 دانشکده علوم ریاضی (و انجمن علمی) هیچ نقشی در برنامه‌ریزی یا برگزاری این رویداد نداشته و صرفاً از آن مطلع شده‌اند. این رویداد توسط بسیج دانشجویی و گروه مشخصی از دانشجویان، مستقل برگزار می‌شود.

❤ از شما خواهشمندیم با آگاهی کامل و براساس اطلاعات صحیح در این برنامه شرکت کنید.

🚀 @hamband_sut ❤️

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

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

💠 عنوان:
Causal Machine Learning

👤 ارائه‌دهنده:
فریبرز صادقی
عضو ازمایشگاه یادگیری ماشین و مدلسازی محاسباتی دانشکده برق و کامپیوتر دانشگاه تهران

🔺پیشنیاز های علمی:
آمار و احتمال - یادگیری ماشین

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

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

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

🚀 @Gozar_SUT ❤️
🚀 @hamband_sut ❤️

💠هم‌اکنون می‌توانید درایۀ ۹.۱ (ویژه‌نامۀ ورودی‌های ۱۴۰۳) را بخوانید!

👋 بعد از سلام
😀 واژه‌نامه
📁 پرونده
😀 درنگ
🕺 مولفه همبندی

📥 لینک دانلود این شماره

🚀 @deraye_mag

❤ همبند معرفی می‌کند:

👥 سخنرانی علمی:
Optimal convergence rates in trace distance and relative entropy for the quantum central limit theorem

👤 سخنران: دکتر سلمان بیگی، محقق مرکز تحقیقات بنیادی IPM

توضیحات بیشتر در عکس موجود است.

🌐 @hamband_sut ❤

رویداد《Game Day》

😄 امسال تصمیم گرفتیم چندتا گیم دی برگزار کنیم و دور هم جمع بشیم تا کنار هم بازی کنیم و خوش بگذرونیم

🗓 عصر چهارشنبه، توی لابی، به همراه تورنومنت گل یا پوچ 🔥

منتظرتون هستیم❤

🗓 چهارشنبه، ۲۳ آبان ماه
⏲ ساعت ۱۴ تا ۱۸
📍 لابی دانشکده‌ی علوم ریاضی

🎭 از بازی‌های فکری شما در این برنامه بسیار استقبال می‌شه!

🚀 @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 ❤️

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

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

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

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

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

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

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

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

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

🚀 @Gozar_SUT ❤
🚀 @hamband_sut ❤

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

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

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

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

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

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

🌐 @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_admin

🚀 @raastaa ❤
🚀 @hamband_sut ❤

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

💡 همچنین، اگر پیشنهاد یا ایده‌ای در این زمینه دارید، می‌توانید آن را با اکانت پشتیبانی انجمن در میان بگذارید.

❤ پیشاپیش از همکاری شما عزیزان سپاسگزاریم.

🚀 @hamband_sut ❤

👀 مسئول اتاق

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

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

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

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

🚀 @hamband_sut ❤

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


🚀 @Gozar_SUT ❤
🚀 @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 ❤