“...Workshop on Concurrency in Computational Logic Londýn, Anglie)...”