📢 انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:
🔷 A good programming language is a functional one

🔸 Models of computation
🔹 History of programming languages
🔸 Functional programming
🔹 Pure functional programming
🔸 Lazy evaluation
🔹 Type systems and type inference
🔸 Influence of functional programming on other languages
🔹 Functional programming in industry
🔸 Functional equivalents of some imperative idioms


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

@CS_Talks_UT

📢 انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:
🔷 مدل‌سازی تفکر در علوم اعصاب شناختی

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

@CS_Talks_UT

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

🔷 Optimal Learning for Structured Bandits

This study addresses the limitations of traditional multi-armed bandit algorithms by introducing a new algorithm, DUSA, which effectively utilizes structural information to minimize regret. DUSA aligns with the information-theoretic lower bound and is computationally viable, offering minimal regret for both known and new structured bandits.

👤 Negin Golrezaei
Associate Professor, MIT Sloan School of Management

📅 سه‌شنبه ۶ آذر
🕑 ساعت ۱۸:۳۰

🔗 لینک حضور در وبینار
https://meet.google.com/coe-ytav-mzi

@anjomaneghtesad
@CS_Talks_UT

📢 انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:
🔷 I propose to consider the question, "Can machines think?" (Turing 1950)

🔸In 1950, Alan Turing asked, "Can machines think?" and introduced the Turing Test to assess if a machine could mimic human behavior. This groundbreaking idea laid the foundation for artificial intelligence and reshaped discussions on machine cognition.

👤 محمدجواد صفی
📍دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱
📅 یکشنبه ۱۸ آذر
🕑 ساعت ۱۷:۰۰

@CS_Talks_UT

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

🔷 «از دانش تا بازار: مسیر واقعی کارآفرینی»

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

🔺 به همراه پرسش و پاسخ

👤 دکتر امیرحسین شهبازی، محمد آزاده، مرتضی رهبر

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

🥐 همراه با پذیرایی

@CS_Talks_UT
@UTCS_SA

🔷در همایش مسیر واقعی کارآفرینی چه گذشت...؟

🔸با ما در اینستاگرام همراه باشید!

@cs_talks_ut

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

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

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

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

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

🔗 @CS_Talks_UT

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