about SETL language; request to inform about the available documents and whether a symposium is being planned.