Общая информация

Организаторы конференции:
Лаборатория Понселе
Институт проблем передачи информации

Оргкомитет:
Л. Д. Беклемишев
В. Б. Шехтман
Т. Л. Яворская

Конференция пройдёт в Московском центре непрерывного математического образования (Большой Власьевский переулок, дом 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".