2024 07 11_workshop Logic And Ai

Next week (July 16-17), we will have the kick-off workshop of our project on Logic and AI. On-site participation is already fully booked, but you can still participate online. Just sign up via the workshop website, it would be great to virtually see you there!