Terms for subject Artificial intelligence containing workshops

English	Russian
deep learning workshop	семинар по глубокому обучению (Alex_Odeychuk)
international workshop on satisfiability modulo theories	международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk)
SMT workshop	семинар по решателям задач выполнимости формул в теориях (Alex_Odeychuk)
workshop on satisfiability modulo theories	семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk)
workshop on statistical machine translation	семинар по статистическому машинному переводу (Alex_Odeychuk)