Arved will give a talk on Propagator Networks for Unification and Proof Search on Monday (29.03) and Jay will present his research on Trustable Machine Learning Systems on Tuesday (30.03).
Our PhD student Tonicha Crook attended her first CIE conference and gave an interesting talk on The Weihrauch degree of finding Nash Equilibria in multiplayer games.
First CiE conference this year was great and full of interesting talks! Happy to have been part of the informal presentations. Hopefully next year I can meet everyone in person @AssociationCiE @AimlaCcommunity pic.twitter.com/CboAATtgYh
— Tonicha Crook (@TonichaCrook) July 2, 2020