Lunch is provided in Regency A for TLA+ Conference attendees or those who purchased the preconf lunch.