Войти
События
Наука
Обучение
Период
Тема
Город
Bjorner Nikolaj
Скоро
Ничего не нашлось.
Но что-то интересное обязательно будет: просто на другую тему, в другое время или в другом городе.
Недавно
вт, 2 октября 2012, Москва
Microsoft Z3: Как научить компьютер доказывать теоремы и тестировать программы
пн, 1 октября 2012
Yet another Conference 2012