Group of logic, language and computation

Here is the link. (But the page has not been updated for long, it seems).