explore | Grilled Cheese

Pictures from #floc2026 just got released and

✨ Feeling nostalgic about #FLoC2026 in Lisbon? 🇵🇹

📸 Browse the photo gallery, 🎥 relive the highlights with our video recap, and watch the recordings of the FLoC, CAV, and KR keynotes!

An opportunity to revisit memorable moments and catch up on talks you may have missed!

PhD students Shweta Rajiv & Sage Binder attended @floc2026.bsky.social in Lisbon.

At ITP 2026 Sage presented his research on a tool for converting proofs in the proof assistant Isabelle/HOL from one particular format to another.

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-15 18:51:49 EDT

Pictures from #floc2026 just got released and

✨ Feeling nostalgic about #FLoC2026 in Lisbon? 🇵🇹

📸 Browse the photo gallery, 🎥 relive the highlights with our video recap, and watch the recordings of the FLoC, CAV, and KR keynotes!

An opportunity to revisit memorable moments and catch up on talks you may have missed!

PhD students Shweta Rajiv & Sage Binder attended @floc2026.bsky.social in Lisbon.

At ITP 2026 Sage presented his research on a tool for converting proofs in the proof assistant Isabelle/HOL from one particular format to another.