An (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.