The following is a list of research fora related to Automated%20reasoning. Pages about research fora should make use of the forum template to be listed below. You can also subscribe to an according RSS feed of Automated%20reasoning research fora.
You regularly use a research mailinglist, portal or social networking group? Advertise it here by quickly creating an article! Just enter the forums's acronym in the field below to get an edit box with further documentation:
List of fora
A link to further results is found at the end of this list.