[Wiki-research-l] WikiSym proceedings available