Memento
IC Colloquium: Sphere Packing Problem and AI-Assisted Formalization
Start date: 20.04.2026 10:15 › 11:15
Location: BC 420 , Online Category: Conferences - Seminars Target audience: General public
IC Colloquium: Beyond General-Purpose Fuzzing: Low-Cost Customization for Testing the AI Systems Stack
Start date: 18.05.2026 10:15 › 11:15
