[ml_ned] Call for online participation: IAS Workshop on Logic and AI (July 16-17, 2024)