"program Sokrates"@cs .