Conference on Mathematical Foundations of Informatics
The 2018 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).
If you want to know more about the program please click conference program.
June 4, 2018: Final Paper Submission Deadline
June 11, 2018: Acceptance notification
June 14, 2018: Camera ready
June 14, 2018: Registration Deadline
July 2– 6, 2018: Conference
Any original contributions are welcome, 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 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.
Professor Alexei Muravitsky of Mathematics at the Louisiana Scholars’ College at Northwestern State University, USA. His research interests belong to mathematical logic (non-classical logics and lattices of their extensions), nonmonotonic reasoning, and application of domain theory and many-valued logics to knowledge representation and expert systems.
Professor Ferucio Laurentiu Tiplea of Mathematics at the “Al. I. Cuza” University of Iasi. His research interests includes Petri nets, formal languages and automata, computability and complexity, codes and cryptography.
Volodimir G. Skobelev is a Leading Researcher at V. M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine.
Your paper is required to be 6-16 pages in English (one page approximating A5 size, i.e. about 800 words), and using the MFOI templates (MFOI2018_template_A5.doc, mfoi2018_template.tex, mfoi2018_template.pdf, mfoi2018.sty, Template_MFOI_2018.zip).
Please, start with a succinct statement of the problem, present your results, their significance and a comparison with previous works (if any), as well as a list of references. The submissions should also include: the title of proposed paper, author’s names, affiliations, addresses, the name of an author to contact for a possible correspondence, the e-mail address of the contact author, and topics which best describe the paper (max. 5 keywords).
The sponsors will offer two prizes for two best papers of young researchers – one for a pure mathematical treatment, and the other for a treatment which has or is promising to have applications to natural language processing. The prize winner papers will be marked up in Proceedings. The information about prize winners and interviews with them will be published in mass-media and a CD with this data will be handed over to the winners.
Please send your paper to email@example.com with subject “MFOI Paper”.
Registration is just to give us notice that you intend to participate, which will help to properly plan this event. In particular, upon registration we will discuss with you about hotel room options and reservation. No payments are required at this stage – all payments are to be made on arrival. Please fill the attached registration form and email it to firstname.lastname@example.org with the message’ subject “Registration form”. We encourage that you register by the time you book your travel tickets, which for economy purposes must be at an early stage. In this case, please, indicate in your Registration form a tentative title of your paper. The final version of the title is needed only by “Camera ready” time.
150 Euro (to be paid on arrival in EUR, USD, or MDL )
No fee – Invited Speakers and PhD students.
Local participants: 150 MDL.
Chair: Svetlana Cojocaru, Director of Institute of Mathematics and Computer Science (Chisinau, Moldova)
Co-chair: Mykola Nikitchenko (Kyiv, Ukraine), Ioachim Drugus (Chisinau, Moldova), Adrian Iftene (Iasi, Romania).
Program Committee: Artiom Alhazov (Chisinau, Moldova), Alexei Averkin (Moscow, Russia), Bruno Buchberger (Linz, Austria), Balder ten Cate (Santa Cruz, USA), Gabriel Ciobanu (Iasi, Romania), Constantin Ciubotaru (Chisinau, Moldova), Alexander Colesnicov (Chisinau, Moldova), Razvan Diaconescu (Bucuresti, Romania), Maria Duca (Chisinau, Moldova), Constantin Gaindric (Chisinau, Moldova), Tamas Gergely (Budapest, Hungary), Daniela Gifu (Iasi, Romania), Jeroen Groenendijk (Amsterdam, Netherlands), Eberhard Guhe (Shanghai, China), Adrian Iftene (Iasi, Romania), Ievgen Ivanov (Kyiv, Ukraine), Tudor Jebelean (Linz, Austria), Michael Kohlhase (Bremen, Germany), Alexander Lyaletski (Kyiv, Ukraine), Alexandre Lyaletsky (Kyiv, Ukraine), Fairouz Kamareddine (Edinburgh, Scotland), Maurice Margenstern (Paris, France), Gheorghe Paun (Bucharest, Romania), Vít Punčochár (Prague, Czech), Floris Roelofsen (Amsterdam, Netherlands), Vladimir Rogojin (Turku, Finland), Victor Scerbacov (Chisinau, Moldova), Volodimir Skobelev (Kiyv, Ukraine), Geoff Sutcliffe (Miami, USA), Jose M. Turull-Torres (Buenos Aires, Argentina; Wellington, New Zealand), Serghei Verlan (Paris, France), Andrei Voronkov (Manchester, UK).
ORGANIZISNG COMMITTEE: Tudor Bumbu, Liudmila Burtseva, Olesea Caftanatov, Svetlana Cojocaru, Irina Gheorghita, Daniela Gifu, Galina Magariu, Ludmila Malahov, Iulian Secrieru, Tatiana Tofan, Inga Titchiev, Lidia Ursu, Tatiana Verlan.
We encourage and welcome delegates from around the globe to participate in MFOI-2016.
The list of countries whose citizens do not need visa for entry on the territory of the Republic of Moldova, as well as information on visa requirements to enter the Republic of Moldova, can be found on: mfa.gov.md/entry-visas-moldova/
If you are a national or citizen of one of the countries who require visa for entrance to the Republic of Moldova, do not leave this for the last moment as visas can take time to be issued.
If you require a supporting letter for your application, or if you encounter a problem in Moldovan embassies with getting an entry visa, please contact us.