Syntax and Semantics of Logical Systems

August 1 — 5, 2022, Vladivostok, Russia

Applied Mathematics and Fundamental Computer Science

Organizers

Regional Scientific and Educational Mathematical Center “Far Eastern Center for Mathematical Research”, Far Eastern Federal University

Description

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.

Objectives

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.

Thu Nov 18 2021 13:13:49 GMT+0300 (Moscow Standard Time)