news
| Aug 05, 2024 | Thomas and Levin talked about the Logic and AI project and the group fellowship at IAS in this video. |
|---|---|
| Jun 24, 2024 | We will have the kick-off workshop of our project on 16 and 17 July 2024. On-site participation is already fully booked, but you can still participate online. Just sign up via the link, it would be great to virtually see you there! |