Conic Linear Optimization for Computer-assisted Proofs Workshop Details https://www.mfo.de/@@site-logo/mfo.png Conic Linear Optimization for Computer-assisted Proofs 17 May - 22 May 2026 ID: 2621b Organizers Etienne de Klerk, Tilburg Frank Vallentin, Cologne Angelika Wiegele, Klagenfurt Organizer Login Participant Login