3 / 3
What comes next
Working groups — we hope you’ll join one
- WG1 — Language, Calculus & Formal Semantics: the shared modeling language and its formal core.Chair: Akshay Shanker
- WG2 — Methods, Backends & Verification: interchangeable solution methods and “Rosetta Stones” between existing solvers.Chair: Herbert Dawid
- WG3 — AI Assistance, Reproducibility & Standards: AI-assisted authoring and translation, robustness, and governance.Chair: Alan Lujan
We hope every invited participant will join at least one group — and audience members are warmly welcome too. Sign up at a kiosk, or scan to join from your phone: