Аппликативные Вычислительные Системы
 Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда-исчислении. Единственное, что существенно разрабатывается в этих системах -- это представление об объекте  

АВС 2012

Аппликативные Вычислительные Системы
3-я Международная конференция по аппликативным вычислительным системам (АВС’2012),
Москва, 14-15 декабря 2012 г.
http://www.jurinfor.ru
Одной из центральных тем являются вычисления с объектами и их применения вместе с разделами из логики, теории типов, теории вычислений и семантического моделирования. НИЯУ МИФИ Институт “ЮрИнфоР-МГУ” МФТИ МАБиУ
Конференция по аппликативным вычислительным системам
ISSN 2304-7283 (Online)

Организаторы ожидают, что участие примут специалисты, как практики, так и теоретики, работающие в области компьютерных наук и проявляющие интерес к математическим моделям вычислений, которые лежат в основе компьютерных наук. Организаторы Дата проведения: Место проведения: