Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM