ProML Talks Verified Explanations for Neural Networks Saturday, July 25, 2026 9:00 AM 1st Workshop on Automated Reasoning for Future Space Logistics (AR4Space 2026), 🇵🇹 Lisbon, Portugal Project Project Project Verified Explanations for Neural Networks Wednesday, June 10, 2026 Seminar “Machine Learning and Formal Methods”, 🇸🇪 Lund, Sweden Project Project Project Verified Explanations for Neural Networks Tuesday, May 26, 2026 2:30 PM M2F Department Seminar, 🇫🇷 Bordeaux, France Project Project Project