خانه ریاضیات اصفهان به مناسبت بزرگداشت محمدبن موسی خوارزمی، از سال ۱۳۹۱ هر ساله همایش یک روزه‌ای را با عنوان “روز جبر” برگزار می‌کند. همایش امسال (سیزدهمین سال برگزاری) به صورت حضوری و مجازی جهت اعضای هیأت علمی و دانشجویان مقاطع مختلف تحصیلی و به موازات آن برای دانش‌آموزان به صورت حضوری برگزار خواهد شد.
زمان: پنجشنبه 22 آذرماه 1403 از ساعت 8 تا 13:00 به صورت حضوری و مجازی
لینک ثبت‌نام اساتید، دانشجویان و معلمان
لینک حضور در جلسه مجازی
لینک ثبت‌نام دانش‌آموزان
محل برگزاری: تالار میرزاخانی خانه ریاضیات اصفهان
سخنرانی ها:
دکتر پیام سراجی (آموزش و پرورش)
تاریخچه تکامل منطق ریاضی
دکتر امیر دانشگر (دانشگاه صنعتی شریف)
نظریه محاسبه، پیدایش، بلوغ وکاربردها
دکتر محسن خانی (دانشگاه صنعتی اصفهان)
حذف سور و تصمیم پذیری
دکتر مهدی دستانی (دانشگاه اوترخت هلند)
Logics for Safe and Reinforcement Learning
در حاشیه برگزاری سیزدهمین روز جبر
(ویژه دانش‌آموزان)
کارگاه دانش‌آموزی با عنوان:
حل معماهای منطقی با کمک نرم‌افزار Prover
آقای دکتر پیام سراجی (آموزش و پرورش)
و
خانم نرگس عصارزادگان (آموزش و پرورش)
زمان: پنجشنبه 22 آذرماه 1403 از ساعت 14 تا 15:30
محل برگزاری: خانه ریاضیات اصفهان
لینک ثبت‌نام دانش‌آموزان
