Conference on Mathematical Foundations of Informatics
The 2019 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).
Final program is available here.
May 15, 2019: Paper Submission Deadline
June 5, 2019: Acceptance notification
June 12, 2019: Camera ready
June 12, 2019: Registration Deadline
July 3-6, 2019: Conference
- data science;
- 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.
Emil Simion is Associate Professor at University Politehnica of Bucharest. His research interests includes probability, statistics, game theory, codes, cyber security and cryptography.
Alexey Averkin is Chief Researcher of Department of Intelligent Systems at Federal Research Center “Informatics and Computer Sciences” of Russian Academy of Sciences. Vice president or Russian Association on Fuzzy Sets and Soft Computing. Research domains: fuzzy logic control, neural networks, genetic algorithms, artificial immune systems, robotic systems, simulation of biologic systems, biologically inspired computing, distributed artificial intelligence, intellectual wireless sensor networks, distributed mining and data fusion, multi-agent systems, fuzzy multi-criterial decision making systems.
Gabriel Ciobanu is a professor/researcher at A.I.Cuza University and Romanian Academy in Iasi. His research articles on distributed systems (process calculi), formal methods (semantics, logics) and natural computing (membrane systems) have over 2700 citations (Google Scholar). For his scientific contributions he received some awards from the Romanian Academy (2000, 2004, 2013) and Ad-Astra Association (2018). He is the editor-in-chief of the Scientific Annals of Computer Science, and a member of Academia Europaea (the Academy of Europe).
Alexandru Ginsca is Chief Data Scientist at Atos, France, where he oversees AI applied research activities, with a focus on computer vision and natural language processing. He is an active member of the CLEF and MediaEval multimedia research communities and his interests include: content-based image retrieval, semantic image descriptors, open world image classification, learning with noise, diversity in multimedia retrieval, data quality, natural language understanding, privacy, user profiling, social media analysis.
Chair: Adrian Iftene, Dean of the Faculty of Computer Science (Iași, Romania).
Co-chair: Svetlana Cojocaru (Chisinau, Moldova), Ioachim Drugus (Chișinau, Moldova), Mykola Nikitchenko (Kyiv, Ukraine).
Scientific Committee: Lenuţa Alboaie (Iași, Romania), Artiom Alhazov (Chișinau, Moldova), Bogdan Aman (Iași, Romania), Alexei Averkin (Moscow, Russia), Bruno Buchberger (Linz, Austria), Gabriel Ciobanu (Iași, Romania), Constantin Ciubotaru (Chisinau, Moldova), Alexander Colesnicov (Chisinau, Moldova), Razvan Diaconescu (Bucuresti, Romania), Constantin Gaindric (Chisinau, Moldova), Tamas Gergely (Budapest, Hungary), Daniela Gifu (Iași, Romania), Eberhard Guhe (Shanghai, China), Adrian Iftene (Iași, 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), Vit Puncochar (Prague, Czech), Victor Scerbacov (Chișinau, Moldova), Volodimir Skobelev (Kiyv, Ukraine), Jose M. Turull-Torres (Buenos Aires, Argentina; Wellington, New Zealand), Diana Trandabăţ (Iași, Romania), Serghei Verlan (Paris, France), Jingbo Xia (Wuhan, China).
MFOI 2019 will be organized by the Faculty of Computer Science from the Alexandru Ioan Cuza University of Iasi, the oldest higher education institution in Romania. Since 1860, the university has been carrying on a tradition of excellence and innovation in the fields of education and research. With over 24.000 students and 800 academic staff, the university enjoys a high prestige at national and international level.
Both the main conference track and the workshops will be hosted in building C of the University (Faculty of Computer Science) in the BCR auditorium (Room C3, 2nd floor). Building C is 7-floor tower building located on the Copou hill within the city, just at a 15 minutes walk from the central Piata Unirii plaza.
Iași can be reached via its international airport, situated at 8 km from the city center. The airport services multiple direct flights each week to various international destinations, including: London, Vienna, Rome, Paris, Madrid, Brussels, Tel Aviv, Munich, Cologne, Larnaca, Glasgow, Barcelona, Valencia, Bergamo (Milan), Turin, Florence, Catania, Treviso (Venice).
Also, around 5 direct flights are operated daily to and from Bucharest Otopeni airport, the main air transport hub in Romania, providing a convenient connecting route in case a direct flight is not available (the Iași – Bucharest aerial route time length is about one hour). More domestic direct flights are available to other cities in Romania, such as: Cluj, Timisoara, Oradea.
Four airlines are the current main operators on Iași airport for the destinations mentioned above. These are: TAROM, Austrian, Blue Air, Wizz Air. The flight schedule on the Iași airport can be further checked here.
To reach Iași city center from the airport, the typical way is by taxi. The fare takes around 15 minutes and should cost around 25 Lei in local currency (equivalent to around 5-6 Euro). A taxi station is located just outside the airport terminals. The price per kilometer of all taxi companies in Iasi is around 2.5 Lei/kilometer during day time with a similar starting fee (equivalent of about 0.5 Euro).
As alternative, bus number 50 also connects the airport to the city center. The station is located just in front of the taxis. There is typically one bus each hour, or each two hours. You can consult the departure schedule here (the top left section split by week days gives departure hours from the airport to the city center, the bottom left section split by week days gives departure hours from the city center to the airport). For bus transport within the city, tickets can be bought either at ticket booths or at ticket machines (where available), the price for a single trip being 2.5 Lei.
Citizens of a number of countries (typically outside the European Union or not having a residence permit in the Schengen space) require a visa to enter Romania. Detailed information including the process to obtain a visa can be found on the site of the Romanian Ministry of Foreign Affairs. Normally, the visa that would be required for attending a conference is a short-stay visa of type C/ZA. Note that there exists also an online portal for applying for a visa. If you are in need of an invitation letter for obtaining a visa please contact us at email@example.com or firstname.lastname@example.org.