Text this: Patras Logic Symposion :