2nd Working Conference "Formal Description of Programming Concepts"