TAG is group of researchers interested in the study of formal and automated reasoning about the eff...
Wikipedia article.