Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

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

PhotosVideosAllPeople
LatestRanked
@lucadistefano.euOct 11, 2026, 5:00 PM

Pictures from #floc2026 just got released and

Picture of myself at the Federated Logic Conference social dinner, Juky 2026
@uiowacs.bsky.socialSep 24, 2026, 5:51 PM

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.

More at cs.uiowa.edu/news/2026/09....

#FLoC2026 #AcademicSky

ITP / FLoC 2026 Lisbon, Portugal 2026 Shweta (L) and Sage (R)