[logic-ml] Registration open: 23rd European Summer School in Logic, Language and Information