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

АВС 2008

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

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