The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on the development of the mathematical foundations for computer science, also known as informatics. The previous edition can be found here. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation. All accepted papers will be published in Proceedings of the Conference, which will be handed over to participants on the first day of the conference. The selected papers will be also published after the conference in the CSJM (Computer Science Journal of Moldova - indexed in Mathematical Reviews, Zentralblatt MATH, Clarivate Analytics/Web of Science (ISI), MathSciNet, DBLP, DOAJ, EBSCO) or in the Bulletin of Academy of Sciences of Moldova, ser. Mathematics (indexed in Mathematical Reviews, Zentralblatt MATH, SCImago Journal Rank (SJR), Russian RZh Matematika). Any original contributions are welcome, including but not limited to:
- data science;
- theory of computing;
- theoretical issues in artificial intelligence;
- theoretical issues in automated reasoning;
- theoretical aspects of software system development;
- logics in informatics, databases, and artificial intelligence;
- data mining and knowledge discovery;
- knowledge representation;
- semantic technologies;
- natural language processing;
- formal languages and automata;
- cryptography and security;
- neural networks;
- natural computing;
- soft computing.