Welcome
summary
Conference opening lists three sessions: high-level abstraction and automation, language design, logical tools and staged interpreters with types and metatheory, and microlenses, and highlights a panel on semantics-based transformation and LMS. Schedule shows breaks, lunch on the third floor, a 5:30 end with a half-hour chat window, and a Jane Street game night with food. Three invited speakers appear, plus one remote presenter in the morning and one remote presenter in the afternoon.
AI-written summary · about
