Special:EditPage/Symposium on Logic in Computer Science Source: en.wikipedia.org/wiki/Special:EditPage/Symposium_on_Logic_in_Computer_Science