Приглашаем вас принять участие в международной конференции "The International Conference on Automated Deduction" (CADE-25), которая будет проводиться 1-7 августа 2015 года в городе Берлин, Германия.
Важные даты:
до 16 февраля 2015 – прием тезисов докладов;
до 23 февраля 2015 – прием полных текстов докладов.