Terms for subject Artificial intelligence containing annual

English	Russian
annual conference on artificial general intelligence	ежегодная конференция по общему искусственному интеллекту (Alex_Odeychuk)
annual conference on neural information processing systems	ежегодная конференция по нейросетевым системам обработки информации (Alex_Odeychuk)
annual satisfiability modulo theories competition	ежегодный конкурс решателей задач выполнимости формул в теориях (Alex_Odeychuk)