دوستان نمی‌دونم تا چه اندازه با رویداد "عصرانه ریاضی" بچه‌های انجمن علمی ریاضی دانشگاه تهران آشنایید، ولی واقعا یکی از بهترین‌ها هستند. به تازگی قراره یک عصرانه‌ی چهار جلسه‌ای برگزار کنند با عنوان "از منطق و Type Theory تا Formal Verification". توی این پست از کانال‌شون می‌تونید توضیحات این رویداد رو بخونید. توی این چهار جسله از مقدمات تایپ تئوری، لامبدا کلکولس، تئورم پروور و تئوری PL براتون صحبت می‌کنند. فرصت بسیار مناسبیه برای وارد شدن به این دنیای جذاب. از بین ارائه دهندگان من آشا رو می‌شناسم که کارش واقعا درسته. جلسه‌ی اول این رویداد با عنوان "Type Theory and Lambda Calculus" امروز ساعت ۶ عصر به شکل حضوری و مجازی برگزار میشه. توی این پست از کانالشون می‌تونید توضیحات این جلسه رو بخونید. هنوز محل برگزاری این جلسه رو اطلاع ندادند، ولی من خودم قصد دارم که این رویداد رو شرکت کنم. به شما هم بسیار توصیه می‌کنم که شرکت کنید.