We’ll be presenting at the #BIC workshop at @iccv.bsky.social! This year’s BIC has amazing speakers 🌺 — join us on 19 October at the Honolulu Convention Center to explore cutting-edge methods at the intersection of computer vision and biology 🔬 #ICCV2025 More details: www.bioimagecomputing.com

🥕

FYI: The tutorials were recorded at @simonsfoundation.org Lean Workshop for Mathematics and Physical Sciences. Read more here: leanprover-community.github.io/blog/posts/s...