Poletna šola logike 2018 - poročilo