Календарь научных мероприятий ДВФУ
1 августа 2022
ICM satellite International School-Seminar "Syntax and Semantics of Logical Systems"
Syntax and Semantics of Logical Systems
Vladivostok, August 1-5, 2022
The purpose of the school-seminar is to discuss the results and identify topical areas of research in algebra, mathematical logic and their applications, as well as provide young researchers with the possibility of personal contact with famous Russian and foreign scientists.
The conference will focus on
- universal algebra,
- logical calculus,
- model theory,
- categorical geometry and logic,
- algebra of logic,
- theory of finite-valued functions,
- algebraic and logical methods in information technology,
- logical component of mathematics education.
Supported by Ministry of Science and Higher Education of the Russian Federation for the implementation of the development program of Regional Scientific and Educational Mathematical Center "Far Eastern Center for Mathematical Research", Far Eastern Federal University, Vladivostok State University of Economics and Service
Contact: stepltd@mail.ru
Official web-site: http://ssls.dcmi.ru/