In order to foster collaboration and the exchange of ideas,
I'm happy to invite you to an informal kick-off event for my
recently started AuReLeE project (Automated Reasoning with Legal Entities).
The idea is to gather researchers working on related but different topics,
and to foster networking among these groups and sub-communities.
The kick-off event will take place on
Thursday, May 27, 09:00 – 13:15 (CEST), online via WebEx.
Participation is open to anybody interested in the topics surrounding the project,
i.e., including computational logic, normative reasoning, legal reasoning, automated
theorem proving, software system standardization and development, AI & Law, KR, rule
languages, and more. Feel free to forward this e-mail to anybody that might be interested