Автоматлаштырылган Фикер Йөртү Ассоциациясе
Автоматлаштырылган Фикер Йөртү Ассоциациясе ул автоматлыштырылган теорема исбатлавы, автоматлаштырылган фикер йөртү һәм шуңа бәйле өлкәләрдә өйрәнүчеләр ассоциациясе буларак хезмәт итүче табышсыз корпорация. Ул Автоматлаштырылган Дедукция Конференциясен һәм Халыкара Автоматлаштырылган Фикер Йөртү буенча Берләштерелгән Конференцияне оештыра һәм якынча дүрт айга бюллетень нәшер итә.
Ассоциациянең веб-сайтын Валентин Монтмирайл һәм Jekyll (программа тәэминаты)ннан Джофф Сатклифф тәэмин итә.