о верификации
Oct. 27th, 2015 05:40 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaСегодня вечером (во ВТОРНИК, 19:00) в Тель-Авиве будет очередная встреча (Facebook event) участников форума LessWrong.
Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.
Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.
