[logic-ml] [Deadline extension] Symposium on Foundations & Practice of Security (10/26-28, France)