📐 Krótkie wprowadzenie do dowodów formalnych kodu Filip Król pokaże, jak zapewnić poprawność i bezpieczeństwo programów przy użyciu dowodów formalnych. Omówi metody unikania błędów krytycznych oraz przedstawi ideę formal proving w praktyce, zastanawiając się, czy Rust to jedyna droga ku przyszłości. 📍 Gdzie: Hotel przy Młynie, Rybnik 📅 Kiedy: 24–26 października 2025 🔗 Zapisz się: https://jesien.org/2025/zapisy #JesieńLinuksowa #FormalMethods #Rust #OpenSource #Programowanie