Pokrovsky boulevard, 11, room S938, Moscow, Russia, 109028
Phone: +7 (495) 772-95-90*27319
The School of Data Analysis and Artificial Intelligence was created in 2014 as part of the Department of Data Analysis and Artificial Intelligence. The school consists of world-renowned researchers who actively participate in international research projects in the fields of data mining, formal concept analysis, semantic technologies and ontology engineering, multi-modal clustering, machine learning, natural language processing, development of intelligent and recommender systems, social network analysis, and medical informatics.
The Association for Symbolic Logic is the largest American organization of contemporary logic researchers and is, in fact, not just an American institution, but an international one. It was founded in 1936 and aims to promote research in symbolic (formal, mathematical) logic and events directly related to it. Any researcher or academic institution from any country who is interested in symbolic logic can become a member of ASL. ASL publishes the Journal of Symbolic Logic, which has been issued quarterly since 1936.