Call for speakers: Workshop on Verifying Law and Ethics, and Legal Autoformalisation — closes 2026-11-10 | SpeakSeeker