Tim Van de Cruys

[ESSLLI @ESSLLI_official]

📣 Join us for the 35th ESSLLI summer school, July 29th – August 9th, 2024 at @KU_Leuven! Early registration available until May 31st. Get the details and register 👉 https://t.co/3xGltbNqIY. #esslli2024 #leuven #logic #language #information

[Tim Van de Cruys @timvdc]

@mark_riedl @thomas_wint And in addition to the repo, a demo of the system: https://t.co/fcnmvrBsSs