International Conference on Mathematical Foundations of Informatics (MFOI-2020)

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

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

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. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

Conference Topics

Any original contributions are welcome, including but not limited to:

1. data science;
2. theory of computing;
3. theoretical issues in artificial intelligence;
4. theoretical issues in automated reasoning;
5. theoretical aspects of software system development;
6. logics in informatics, databases, and artificial intelligence;
7. data mining and knowledge discovery;
8. knowledge representation;
9. semantic technologies;
10. natural language processing;
11. formal languages and automata;
12. cryptography and security;
13. neural networks;
14. natural computing;
15. soft computing.

Important Dates

Paper Submission Deadline: April 20 October 26, 2020.
Acceptance notification: May 21 November 23, 2020.
Camera ready: June 1 December 07, 2020.
Registration Deadline: June 1 December 25, 2020.
Conference: July 1-5 January 12–16, 2020 2021.

Conference language

English

More information about conference at http://mfoi2020.inf.ua/index.html .

For your convenience, we also attach Call for Papers to this message.

Greetings,
MFOI- 2020 Program Chairs:
Mykola Nikitchenko (Kyiv, Ukraine),
Svetlana Cojocaru (Chisinau, Moldova),
Adrian Iftene (Iasi, Romania),
Ioachim Drugus (Chisinau, Moldova).

Перегляд	Причіплений файл	Розмір
	MFOI_2020_Call for Papers.pdf	648.56 КБ

7th World Congress on the Square of Opposition

Організатори 7-го Всесвітнього конгресу з логічного квадрата мають великий оптимізм, плануючи провести конгрес 16-20 вересня цього, 2020-го, року в Леувені (Бельгія). Зважаючи на нинішній розвиток короновірусної пандемії та недостатність карантинних заходів у багатьох країнах світу, немає впевненості в тому, що у вересні проводити масові заходи буде можливо і безпечно. Тим не менше, наводимо офіційне повідомлення від організаторів:

Sept 16-20, 2020 will take place in Leuven, Belgium, the
World Congress on the Square of Opposition
http://www.square-of-opposition.org/square2020

This will be the 7th world congress organized around the square of opposition after very successful previous editions in Montreux, Switzerland 2007; Corté, Corsica 2010; Beirut, Lebanon 2012; Vatican, 2014; Easter Island, 2016, Crete, 2018.
http://www.square-of-opposition.org/

This is an interdisciplinary event on the theory of opposition gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

This theory was initiated by Aristotle. It is based on three notions of opposition: contradiction, contrariety, subcontrariety. It took first the shape of a square but was further developed in many other geometrical shapes, in particular a hexagon, promoted by Robert Blanché
https://link.springer.com/journal/11787/6/1/page/1

Deadline for submitting an abstract is April, 20, 2020.