Don’t miss the third panel of the International Seminar on Artificial Intelligence, Ethics and Law. The researcher Christoph Benzmüller will talk about “Bridging Legal Argumentation and Automated Theorem Proving”