در روز دوشنبه ۲۷ اردیبهشت ۱۳۹۵ نشست سخنرانی با عنوان «آشنایی با امنیت اثبات‌پذیر و ایده‌های موجود در آن» برگزار شد. برگه‌های نمایشی این نشست در پایان این گزارش قرار گرفته‌اند.
در روز دوشنبه ۲۷ اردیبهشت ۱۳۹۵ نشست سخنرانی با عنوان «آشنایی با امنیت اثبات‌پذیر و ایده‌های موجود در آن» برگزار شد. برگه‌های نمایشی این نشست در پایان این گزارش قرار گرفته‌اند.