ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to: the foundations of mathematics and those of computing; logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language); logical methods in mathematics; logical methods in computer science.