“…NATO Advanced Study Institute on Logic, Algebra, and Computation Marktoberdorf, Germany…”