VERIFY: Formal Reasoning for LLVM/MLIR, 30 August - 04 September 2026Info Location Attendee Categories Contact Event Information
DescriptionAn (invitation only) participatory peer-learning event to advance formal reasoning for LLVM/MLIR. The event takes place August 30th - 4th September (with an optional Friday night stay). Attendees have a choice of College-Style Accommodation or Hotel-Style Accommodation. Full registration includes refreshments, lunch, dinner & accommodation. Day attendee registration include refreshments, lunch, & dinner only.
Attendee Categories7. Waived: Day attendee only
Additional ItemsContactName: Tobias Grosser | |||||||||||||||
