The conference will be held in the virtual mode.

Click on the Program to download:

Video of the conference (Day 1)

Video of the conference (Day 2)

MFOI-2020 Proceedings and Cover of MFOI-2020 Proceedings

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 of computer science, also known as informatics. 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, 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).

MFOI-2020 is devoted to the World Logic Day (click here for the poster).

The collocated events on January 14, 2021 are

• Symposium on Logic and Artificial Intelligence (SlAI), Chisinau, Moldova (https://islai.org/.)
• Moldovan Prizes in Logic and Artificial Intelligence (https://logic-prize-moldova.islai.org/.)
• Romanian Prizes in Logic and Artificial Intelligence (https://logic-prize-romania.islai.org/.)
• Ukrainian Logic Society Prize – 2021 (http://logic.net.ua/content/ukrainian-logic-society-prize-%E2%80%93-2021.)

The Jury formed by the Ukrainian Logic Society declared the winner of the contest Dr.Ievgen Ivanov for the paper “On Induction Principles for Partial Orders” (click here for the results of the contest).

The previous edition can be found here.

Click on the Poster logo to download: