Title: Patras Logic Symposion