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

АВС 2010

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

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