Logic List Mailing Archive

MFOI 2020: Mathematical Foundations of Informatics, Virtual

12-16 Jan 2021

VI International Conference on Mathematical Foundations of Informatics 
MFOI-2020. In view of the outbreak of the Coronavirus disease (COVID-19) the 
MFOI-2020 conference is postponed to January 12-16, 2021.

http://mfoi2020.inf.ua/index.html

The conference will be held in the virtual mode.

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 development of the development of mathematical foundations for 
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).

During MFOI, January 14, 2021 is devoted to the World Logic Day.

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.)

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam