VERIFY: Formal Reasoning for LLVM/MLIR, 30 August - 05 September 2026Info Location Attendee Categories Additional Items Contact Event Information
DescriptionAn (invitation only) participatory peer-learning event to advance formal reasoning for LLVM/MLIR. The event takes place August 30th - 5th September (with an optional Friday night stay). Attendees have a choice of College-Style Accommodation or Hotel-Style Accommodation Hotel-Style Accommodation. Full registration fees include refreshments, lunch, dinner & accommodation. Day attendee registration fees include refreshments, lunch, & dinner only.
Attendee Categories2. Full registration w/ College style accommodation
Additional Items2. Full registration w/ College style accommodation – Add to booking if required:
ContactName: Ellen Friel | |||||||||||||||
