[logic-ml] June 19th Symposium “Fairness, Integrity andTransparency of Formal Systems:Challenges for a Society IncreasinglyDominated by Technology”