Approximate Verification. Ural CS Club

Michel de Rougemont (Université Paris VII) прочтет бесплатный курс лекций "Approximate Verification". Подробнее о курсе: http://compsciclub.ru/courses/approximate_verification Лекции бесплатные. Приглашаются все желающие! Необходимо предварительно зарегистрироваться, указав свои Фамилию, Имя и Отчество на сайте https://docs.google.com/forms/d/1iysXZ7fzvfRiLy4dL23hlHZorAshaPOd0oqSGNUFktk/viewform Лекции будут проходить в Екатеринбурге в аудитории 632 здания УрФУ на Тургенева, 4. ВНИМАНИЕ! В пятницу и субботу вход в университет будет осуществляться через вахту на Тургенева, 4, в воскресенье через Ленина, 51 по регистрационным спискам с предъявлением документов государственного образца, удостоверяющего личность, с фотографией (паспорт, студенческий, водительское удостоверение).