“...Logic Collquium :Helsinki, Finland)...”