TimeEdit - Stockholms universitet FILOGX, Logik i datavetenskap och artificiell intelligens 2024-06-13 - 2024-06-16