Московские чтения по конструктивной логике и представлению знаний
к 60-летию С. Н. Артемова
Moscow Workshop on Constructive Logic and Knowledge Representation
30—31 мая 2012
Москва
| Общая информация |
| Докладчики |
| Программа |
Общая информация
Организаторы конференции:
Лаборатория Понселе
Институт проблем передачи информации
Оргкомитет:
Л. Д. Беклемишев
В. Б. Шехтман
Т. Л. Яворская
Конференция пройдет в Московском центре непрерывного математического образования (Большой Власьевский переулок, дом 11), в конференц-зале на 4-м этаже (к. 401).
Информация о конференции "The Constructive in Logic and Applications. Conference in Honor of the 60th Birthday of Sergei Artemov" может быть найдена на сайте http://cslogic.info/ConstructivityAtCuny/. См. также http://expa12.unibe.ch/ о. конференции "Explicit Paradigms in Logic and Computer Science".