[finite-model-theory] Precall "Bilateral AI" (50 PhDs, 10 Postdocs), fall 2024