TimeEdit - Stockholms universitet FILOGX, Logik i datavetenskap och artificiell intelligens 2016-08-01 - 2016-08-31