#سخنرانی

"SMT-based Software Model Checking"

✅ Sepideh Asadi

✳️ Ph.D. student at USI Lugano Formal Verification and Security Lab



‼️سخنرانی به‌صورت آنلاین می‌باشد. لطفا جهت دریافت لینک سخنرانی و شرکت در رویداد، از طریق لینک زیر ثبت‌نام فرمایید.


📆 چهارشنبه ۱۳ مردادماه ۱۴۰۰

🕚 ساعت ۱۶:۰۰

لینک ثبت‌نام(الزامی):

https://teias.institute/asadi-talk202108/


@pasargadschools

سومین وبینار از مجموعه وبینارهای معرفی رمزنگاری پساکوانتومی و پانزدهمین وبینار تخصصی انجمن
🔐موضوع: رمزنگاری پساکوانتومی
✏️سخنران: سرکار خانم دکتر خدیجه باقری (پژوهشگر پسا دکتری دانشگاه صنعتی شریف)

⏳زمان: چهارشنبه 6 مرداد 1400- ساعت 10 الی 11:30
علاقه‌مندان می‌توانند از طریق نشانی زیر و با انتخاب گزینه میهمان در این وبینار شرکت نمایند (شرکت برای عموم آزاد است):
🌐https://www.skyroom.online/ch/isc10/meeting



ضمناً به اطلاع می‌رساند ویدئوهای وبینارهای قبلی در نشانی زیر قابل مشاهده‌اند:
https://www.aparat.com/Irancrypt

🔐سومین وبینار از مجموعه وبینارهای معرفی رمزنگاری پساکوانتومی و پانزدهمین وبینار تخصصی انجمن


موضوع: رمزنگاری پساکوانتومی
سخنران: سرکار خانم دکتر خدیجه باقری (پژوهشگر پسا دکتری دانشگاه صنعتی شریف)
زمان: چهارشنبه 6 مرداد 1400- ساعت 10 الی 11:30


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

بیوگرافی سخنران: خدیجه باقری مدرک کارشناسی ارشد خود را در رشته ریاضی کاربردی از دانشگاه تهران در سال 1391 و مدرک دکتری خود را در رشته ریاضی کاربردی (گرایش رمز و کد) از دانشگاه صنعتی امیرکبیر در سال 1396 دریافت کرده است. در حال حاضر ایشان به عنوان پژوهشگر پسادکتری در پژوهشکده الکترونیک دانشگاه صنعتی شریف مشغول به پژوهش است. زمینه های علمی-پژوهشی مورد علاقه ایشان شامل رمزنگاری پساکوانتومی، طراحی سامانه‌های رمزگذاری متقارن و نامتقارن مبتنی بر کدهای تصحیح خطا، مشبکه‌ها و کدمشبکه‌ها، تکنیک های مدولاسیون کدگذاری شده، کاربرد مشبکه در امنیت لایه فیزیکی و امنیت رایانش ابری است.

NLP Talk Series (3)

Title : Scales in the Lexicon

>>> Christiane D. Fellbaum <<<

Princeton University
Co-developer and director of Princeton WordNet
founder and president of the Global WordNet Association

Summary :
We discuss scalar predicates, focusing on emotion verbs. Such as like, love, and adore, and their representation in lexical resources. We compare partial orders and scales derived from corpora via lexical semantic-patterns as well as from human judgment in French and English. Finally, we examine the consistent alignment of scalar emotion expressions with emojis in internet communication.

Time:
Wednesday, August, 4, 2021
17.30 Tehran time

Link :
http://nlp.sbu.ac.ir/webinars

https://zoom.us/webinar/register/WN_S1nTr_fJTKampAzFkeETqQ

#nlp #nlptalkseries #sbunlplab

Website : nlp.sbu.ac.ir
Instagram : https://www.instagram.com/sbunlplab
Linkedin : https://www.linkedin.com/company/sbunlplab
Twitter : https://twitter.com/SBUNLPLab?s=09

وزرات نیرو ، نیروی امریه جذب می‌کند

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

🔺 زمان ثبت‌نام برای شرکت در این فراخوان از ۲۶ تیر ۱۴۰۰ آغاز شده است و تا ۱۵ مرداد ۱۴۰۰ ادامه دارد. متقاضیان در صورت داشتن شرایط لازم، می‌توانند نسبت به ثبت‌نام و بارگذاری مدارک در سامانه ثبت‌نام امریه سربازی وزرات نیرو به نشانی amriyeh.moe.gov.ir اقدام کنند.

🔺رشته های مورد تقاضا:

مهندسی برق قدرت
مهندسی برق الکترونیک
مهندسی عمران
مهندسی مکانیک
مهندسی کامپیوتر
مهندسی شیمی
مهندسی صنایع

254 مین شماره گزارش کامپیوتر (ماهنامه انجمن انفورماتیک ایران) منتشر شد.

در این شماره میخوانیم:
🔘 مقاله ها
🔸 ارزش معماری سازمانی، مروری بر پژوهشهای اخیر–رضا کرمی
🔸مروری بر ابزارهای معماری سازمانی – علی رضایی
🔸مقدمه ای بر بدنۀ دانش معماری کسب و کار – زهره حسنی، مینا رنجبرفرد
🔸قابلیت معماری سازمانی در چارچوب COBIT – وحید آخوندی
🔸معماری سازمانی چابک 2.0 – علی راضی، رضا رضایی، احمدعلی پزدان پناه
🔸تراوشهای ذهنی: 25 شیوۀ نگرش به هوش مصنوعی (قسمت سوم) – ابراهیم نقیب زاده مشایخ
🔸معماری مرجع BIAN چیست و چگونه میتوان از آن استفاده کرد- محمدجعفر زارعی
🔸روشگان مدیریت پروژه P3.express – وحید آخوندی
🔸مختری زندگینامۀ کُرت گودل و آثار او - علیرضا خلیلیان

🔘 گزارشها
🔸فصلی از یک کتاب: تاریخ شفاهی ارتباطات - نصرالله جهانگرد
🔸پی‌آیند روایات تجارب آموزشی - سیدابراهیم ابطحی

🔘 بخشها
🔸معرفی گروه تخصصی معماری سازمانی - رضا کرمی
🔸مهارتهای نرم: راهنمای زندگی تولیدکنندگان نر مافزار (قسمت سیزدهم)- ابراهیم نقیب زاده مشایخ
🔸تاریخ شفاهی ارتباطات در ایران - سید ابراهیم ابطحی
🔸امکان تحقّق مردم سالاری برخط - سیدابراهیم ابطحی

🌸🌸🌸🌸🌸📚📚📚📚📚🌸🌸🌸🌸🌸

شاخه دانشجویی ieee در دانشگاه علم و فرهنگ برگزار می کند:

✅موضوع جلسه:
یادگیری عمیق

✅یادگیری عمیق، الگوریتمی برگرفته از ساختار مغز انسان است که از مجموعه عظیم داده برای یادگیری استفاده می کند. از جمله موارد کاربرد یادگیری عمیق می توان به موارد زیر اشاره کرد:
1)پهپادها و ماشین های خودران
2)لب خوانی
3)پیش بینی وقایع مثل پیش بینی زمین لرزه و یا پیش بینی بازار بورس
4)تولید تصاویر و یا ویدیوهای ساختگی

✅ارائه کننده:
خانم دکتر راضیه سادات اخوت
پژوهشگر ارشد پژوهشگاه توسعه فناوری های پیشرفته
عضو هیئت علمی و مشاور ieee در دانشگاه علم و فرهنگ

✅زمان برگزاری:
چهارشنبه 13 مرداد ماه
ساعت 19

✅جلسه در ادوب کانکت برگزار می شود.
لینک برگزاری جلسه:
Live5.usc.ac.ir/engineering

@IEEEUSC

تاریخ امتحان معرفی به استاد (مطالعه آزاد) ۱۰ شهریور ۱۴۰۰ است.

#امتحان
#معرفی_به_استاد
#مطالعه_آزاد

#سخنرانی

''The Data Science Era in Academia and Industry"

✅ Dr. Hesam Salavati
CTO Sana Gostar Sabz


✅ Dr. Taher Pilehvar
Assistant Professor at TEIAS



‼️سخنرانی به‌صورت آنلاین می‌باشد. لطفا جهت دریافت لینک سخنرانی و شرکت در رویداد، از طریق لینک زیر ثبت‌نام فرمایید.


📆 دوشنبه ۲۵ مردادماه ۱۴۰۰

🕚 ساعت ۱۶:۰۰

لینک ثبت‌نام(الزامی):

https://teias.institute/dsera-talk202108


@pasargadschools

اطلاع رسانی در مورد آخرین وضعیت کارآموزی و پروژه

دانشجویانی که در ترم تابستان کارآموزی یا پروژه اخذ نموده اند؛ لازم است تا قبل از ۳۰ مرداد ۱۴۰۰ آخرین وضعیت پیشرفت و فعالیتهای انجام شده در رابطه با کارآموزی و پروژه را به اطلاع استاد درس برسانند.
توجه: چنانچه دانشجویی هنوز کارآموزی خود را شروع نکرده، در اسرع وقت تایید محل کارآموزی را از استاد کارآموزی دریافت کند.

یادآوری: فرمت و دستورالعمل نگارش گزارش كارآموزی و فرمت و دستورالعمل نگارش پايان نامه كارشناسی در بخش آیین نامه ها و فرمهای گروه کامپیوتر به آدرس زیر موجود است:

http://ce.eng.usc.ac.ir/news/5840517703e89ea9d68b45aa/staticpage

کمیته زنان در مهندسی IEEE برگزار می‌کند:
🔷 *پنل مجازی کارآفرینی با حضور ٣ بانوی کارآفرین موفق*

🔹 هدف از این رویداد آشنایی با تجربه زیسته این کارآفرینان و آشنایی با مسیری است که
آنها پیموده‌اند.

📆 یکشنبه ۲۴ مرداد، ساعت ١۶ تا ١٨

❓ می توانید سوالاتی را که از این کارآفرینان موفق دارید و مسائلی که دوست دارید در این پنل مطرح شود، در فرم زیر 👇👇وارد کنید:
http://urly.ir/pK1BX

💎سومین دوره مجموعه سخنرانی‌های دانشجویی علم داده و هوش مصنوعی امیرکبیر (AAISS 2021)


📅کارگاه‌ها: ۳ الی ۷ شهریور
📅ارائه ها: ۹ الی ۱۲ شهریور


📣اطلاعات بیشتر و ثبت نام:
🔗http://aaiss.ceit.aut.ac.ir

@aaiss_aut
@ceit_ssc

فراخوان کارآموزی

پژوهشگاه ارتباطات و فناوری اطلاعات وابسته به وزارت ارتباطات و فناوری اطلاعات آمادگی جذب کارآموزان در رشته های برق، کامپیوتر، فناوری اطلاعات و صنایع را دارد.
دانشجویان گرامی جهت کسب اطلاعات بیشتر به لینک زیر مراجعه نمایند:

https://egov.itrc.ac.ir/?q=fa

#کارآموزی

#ارائه_علمی
#دانشکده_مهندسی_صنایع
#دانشگاه_صنعتی_شریف

🔷 عنوان سخنرانی:
Wasserstein Distributionally Robust Optimization: Theory and Applications in Machine Learning

🔷 سخنران:
Prof. Daniel Kuhn (Professor at College of Management of Technology at École polytechnique fédérale de Lausanne (EPFL))

🔷 تاریخ سخنرانی: سه‌شنبه ۲ شهریور ماه ۱۴۰۰، ساعت ۱۶:۳۰ الی ۱۸:۰۰

🔷 محل برگزاری:
https://vc.sharif.edu/ch/ie-seminar

🆔 @IE_SUT

پنجمین نشست تخصصی الگوریتم و محاسبات با سخنرانی آقای دکتر آرمین علاقی، استاد دانشگاه واشنگتن

دوشنبه ۱ شهریور ۱۴۰۰
ساعت ۱۱ صبح
🌐 vroom.ut.ac.ir/engsci4

شرکت در این جلسه رایگان است. راهنمای ورد به جلسه با ادوبی کانکت: https://utec.ut.ac.ir/101

🖇 Problems , Models and Approaches in Reinforcement Learning

اجازه دهید داده‌ها تصمیم بگیرند!

🎤 ارائه دهنده: دکتر محمد کاظم شیرانی

📌 پسادکتری از دانشگاه فلوریدا
استاد علوم داده در دانشگاه جورجیا
دکترای آمار از دانشگاه میشیگان (Michigan)

🗓 پنج شنبه ۴ شهریور
⏰ ساعت ۱۹:۳۰

جهت شرکت در این جلسه از طریق این لینک اقدام کنید.

#وبینار
➖➖➖➖➖➖➖➖➖➖➖
[ Telegram | Instagram | LinkedIn ]

@AiCup2021

اعضای محترم انجمن رمز ایران

با سلام و احترام

در ادامه وبینارهای پیشین، و به عنوان پنجمین وبینار از مجموعه وبینارهای معرفی رمزنگاری پساکوانتومی، هفدهمین وبینار تخصصی انجمن

🔐با موضوع: «مقایسه بین رمزنگاری کوانتومی و پساکوانتومی»

توسط: سرکار بانو دکتر ترانه اقلیدس دانشیار پژوهشکده الکترونیک دانشگاه صنعتی شریف
در تاریخ: چهارشنبه 3 شهریور 1400 ساعت 10 الی
11:30
برگزار خواهد شد.

علاقه‌مندان می‌توانند از طریق نشانی زیر و با انتخاب گزینه میهمان در این وبینار شرکت نمایند:
🌐https://www.skyroom.online/ch/isc10/meeting

ضمناً به اطلاع می‌رساند ویدئوهای وبینارهای قبلی در نشانی زیر قابل مشاهده‌اند:

https://www.aparat.com/Irancrypt


با تشکر و آرزوی سلامتی همگان

دبیرخانه انجمن رمز ایران

اطلاع رسانی در مورد کارآموزی و پروژه

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

🔸 دانشجویانی که تا کنون موفق به ارسال گزارش پیشرفت برای پروژه و کارآموزی نشده اند، لازم است در اسرع وقت، آخرین گزارش پیشرفت و فایلهای مربوطه را در سامانه آموزشی به آدرس http://lms5.usc.ac.ir در بخش مربوط به پروژه یا کارآموزی ارسال نمایند.

🔸 دانشجویانی که در ترم تابستان پروژه کارشناسی اخذ نموده اند، لازم است تا قبل از ۲۷ شهریور ۱۴۰۰ پروژه نهایی، گزارش پایان نامه کارشناسی و کلیه مستندات را به استاد درس پروژه تحویل دهند و تاییدیه استاد پروژه تا قبل از ساعت ۱۴ روز ۲۷ شهریور ۱۴۰۰ به مدیر گروه اطلاع داده شود.

🔸 تحویل پروژه در روز دوشنبه ۲۹ شهریور ۱۴۰۰ برگزار خواهد شد. زمانبندی تحویل پروژه ها بعد از دریافت کلیه تاییدیه ها در روز ۲۸ شهریور ۱۴۰۰ اعلام خواهد شد.

🔸 برای کارآموزی، دانشجویان تا ۲۹ شهریور ۱۴۰۰ فرصت دارند مستندات کارآموزی را به استاد درس کارآموزی تحویل دهند. (مستندات کارآموزی شامل: ۱. فرم کارآموزی تکمیل شده و تایید شده توسط سرپرست کارآموزی و دارای مهر تایید محل کارآموزی، ۲. گزارش کارآموزی مطابق دستورالعمل نگارش کارآموزی، ۳. نامه رسمی تاییدیه پایان کارآموزی صادر شده از محل کارآموزی خطاب به دانشگاه که در آن بازه زمانی و تعداد ساعت کارآموزی ذکر شده باشد.)

🔸 در سایت گروه مهندسی کامپیوتر (http://ce.eng.usc.ac.ir)، از منوی «آیین نامه ها و فرم‌ها» به صورت لینک زیر «فرمت و دستورالعمل نگارش کارآموزی» و «فرمت و دستورالعمل نگارش پایان نامه کارشناسی» قابل دانلود است.

http://ce.eng.usc.ac.ir/news/5840517703e89ea9d68b45aa/staticpage

🖇 AI; past, present and future!

هوش مصنوعی؛ گذشته، حال و آینده!

🎤 ارائه دهنده: دکتر نصیر نواب

📌 برنده جایزه معتبر مخترع سال Siemens
استاد تمام دانشگاه مونیخ و Johns Hopkings
دکترا از دانشگاه INRIA و پسادکترا از دانشگاه MIT

🗓 چهار شنبه ۱۰ شهریور
⏰ ساعت ۱۷

جهت شرکت در این جلسه از طریق این لینک اقدام کنید.

#وبینار
➖➖➖➖➖➖➖➖➖➖➖
[ Telegram | Instagram | LinkedIn ]

@AiCup2021