Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
MFOI-2016 – Conference on Mathematical Foundations of Informatics
The 2016 edition of the annual Conference on Mathematical Foundations of Informatics is aimed at bringing together the researchers from East and West Europe, as well as researchers worldwide, and adding synergy to their endeavors to lay down 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, as well as on the action items required for renaissance of research on this domain in East Europe.
A special focus of the 2016 edition is logic in informatics and semantics, but any original contributions to this domain are invited, including, but not limiting to:
- theory of computing
- theoretical issues in artificial intelligence
- theoretical issues in automated reasoning
- theoretical aspects of software system development
- logics in informatics, databases, and AI
- 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
