Slobodan Ribarić (Croatia), Andrea Budin (Croatia)
The conference addresses topics related to underlying technologies of intelligent systems, methods and tools, as well as all kinds of applications.
- Machine Intelligence
- Human-Machine Interfaces
- Computer Vision
- Image Processing
- Pattern Recognition
- Speech Recognition and Synthesis
- Soft Computing
- Expert Systems
- Data Mining
- Data Warehousing
- Big Data Analytics
- Machine Learning
- Knowledge Management – Methods & Tools
- Business Intelligence
- Multi-Agent Systems
- Computer Architectures for Intelligent Systems
- De-identification Methods for Biometric Identifiers
- De-identification Methods for Non-biometric and Soft Biometric Identifiers
- Multimodal De-identification
- Privacy Protection in Multimedia Contents
- Audiovisual and Soft Biometrics for Forensics Examination
As an addition to the conference, presentation of products and services are welcome as well.
Official languages are English and Croatian.
Abstract submission deadline: Monday, January 22, 2018
Full paper submission deadline: Monday, February 05, 2018
Final paper review deadline: Monday, March 12, 2018
Registration / Fees:
REGISTRATION / FEES
Price in EUR
Before 7 May 2018
After 7 May 2018
|Members of MIPRO and IEEE
|Students (undergraduate and graduate), primary and secondary school teachers
The discount doesn't apply to PhD students.
University of Zagreb
Faculty of Electrical Engineering and Computing
HR-10000 Zagreb, Croatia
Phone: +385 1 612 99 52
Fax: +385 1 612 96 53
Ericsson Nikola Tesla Inc.
HR-10000 Zagreb, Croatia
Phone:+385 1 365 34 23
Fax: +385 1 365 3548
The best papers will get a special award.
Accepted papers will be published in the ISBN registered conference proceedings. Papers in English will be submitted for posting to IEEE Xplore. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference.
There is a possibility that the selected scientific papers with some further modification and refinement are being published in the Journal of Computing and Information Technology (CIT).
International Program Committee General Chair:
Karolj Skala (Croatia)
International Program Committee:
Enis Afgan (Croatia), Slavko Amon (Slovenia), Vesna Anđelić (Croatia), Michael E. Auer (Austria), Snježana Babić (Croatia), Almir Badnjevic (Bosnia and Herzegovina), Mirta Baranović (Croatia), Bartosz Bebel (Poland), Ladjel Bellatreche (France), Petar Biljanović (Croatia), Eugen Brenner (Austria), Gianpiero Brunetti (Italy), Andrea Budin (Croatia), Željko Butković (Croatia), Željka Car (Croatia), Matjaž Colnarič (Slovenia), Alfredo Cuzzocrea (Italy), Marina Čičin-Šain (Croatia), Marko Čupić (Croatia), Marko Delimar (Croatia), Todd Eavis (Canada), Maurizio Ferrari (Italy), Bekim Fetaji (Macedonia), Renato Filjar (Croatia), Tihana Galinac Grbac (Croatia), Paolo Garza (Italy), Liljana Gavrilovska (Macedonia), Matteo Golfarelli (Italy), Stjepan Golubić (Croatia), Francesco Gregoretti (Italy), Stjepan Groš (Croatia), Niko Guid (Slovenia), Jaak Henno (Estonia), Ladislav Hluchy (Slovakia), Vlasta Hudek (Croatia), Željko Hutinski (Croatia), Mile Ivanda (Croatia), Hannu Jaakkola (Finland), Leonardo Jelenković (Croatia), Rene Jerončić (Croatia), Dragan Jevtić (Croatia), Robert Jones (Switzerland), Peter Kacsuk (Hungary), Aneta Karaivanova (Bulgaria), Marko Koričić (Croatia), Tomislav Kosanović (Croatia), Mladen Mauher (Croatia), Igor Mekjavic (Slovenia), Branko Mikac (Croatia), Veljko Milutinović (Serbia), Nikola Mišković (Croatia), Vladimir Mrvoš (Croatia), Jadranko F. Novak (Croatia), Predrag Pale (Croatia), Jesus Pardillo (Spain), Nikola Pavešić (Slovenia), Branimir Pejčinović (United States), Juraj Petrović (Croatia), Slobodan Ribarić (Croatia), Janez Rozman (Slovenia), Ivanka Sluganović (Croatia), Mario Spremić (Croatia), Vlado Sruk (Croatia), Stefano Stafisso (Italy), Uroš Stanič (Slovenia), Ninoslav Stojadinović (Serbia), Jadranka Šunde (Australia), Aleksandar Szabo (Croatia), Laszlo Szirmay-Kalos (Hungary), Dina Šimunić (Croatia), Zoran Šimunić (Croatia), Dejan Škvorc (Croatia), Antonio Teixeira (Portugal), Edvard Tijan (Croatia), A. Min Tjoa (Austria), Roman Trobec (Slovenia), Sergio Uran (Croatia), Tibor Vámos (Hungary), Mladen Varga (Croatia), Marijana Vidas-Bubanja (Serbia), Mihaela Vranić (Croatia), Boris Vrdoljak (Croatia), Damjan Zazula (Slovenia)
Opatija, with its 170 years long tourist tradition, is the leading seaside resort of the Eastern Adriatic and one of the most famous tourist destinations on the Mediterranean. With its aristocratic architecture and style Opatija has been attracting renowned artists, politicians, kings, scientists, sportsmen as well as business people, bankers, managers for more than 170 years.
The tourist offering of Opatija includes a vast number of hotels, excellent restaurants, entertainment venues, art festivals, superb modern and classical music concerts, beaches and swimming pools and is able to provide the perfect response to all demands.
Opatija, the Queen of the Adriatic, is also one of the most prominent congress cities on the Mediterranean, particularly important for its international ICT conventions MIPRO that have been held in Opatija since 1979 gathering more than a thousand participants from more than forty countries. These conventions promote Opatija as the most desirable technological, business, educational and scientific center in Southeast Europe and the European Union in general.
For more details please look at www.opatija.hr/ and www.visitopatija.com.
Mirko Čubrilo, PhD & Professor
University of Zagreb, Faculty of Organization and Informatics, Varaždin, Croatia
Some logical and related formalisms, programming paradigms, and development environments for the (new) AI
Since its very beginnings, AI has developed in parallel on the lines of two research method paradigms. The first paradigm could be called statistical (pattern recognition, machine learning, recently also deep learning, which has in the last few years entered into a quite vibrant phase of development). The second paradigm can be called logical, and it (mostly) deals with automatic deduction systems and tools development in the environment of coressponding formal methods, which in particular encompass formal logical calculi. This paradigm partially uses these systems for the requirements of modeling and solving problems from the AI domain.
There are many logic calculi that have found application in modeling and solving a wide range of AI problems. These range from classical propositional calculi, their fragments (such as calculi of functional and multivalued dependencies, without which the relational data model wouldn't be possible), intuitionistic propositional logic and its many fragments and variants, superintuitionistic logics, multiple valued logics (Lukasievicz logics), discrete as well as continuous, systems of modal propositional logics, first order predicate calculus (logic) and its variants, second order predicate Logic, F-Logic etc. Here we also cannot circumvent mentioning a whole spectrum of contextual domain logics such as fuzzy logics.
Many of the logic calculi mentioned above have themselves become foundations for building logic programming languages such as Prolog (and its relatives), hybrid programming languages and tools, which next to the logical component encompass classical linear programming (constraint logic programming languages) and also specialized tools such as SAT-solvers, languages that implement 2nd order predicate logic (HiLog) or tools such as Coq, based on a fragment of lambda calculus, which has for thirty years been developed by INRIA, the world renown computer science institute based in France...
The purpose of this lecture is to present a concise and consistent overview of (in author's opinion) the most important logic systems that find application in modeling and solving a wide range of problems from the AI domain, as well as some other tools that have successfully passed the test of time (together with some of their most successful applications). A few remarks will also be made on the problems that accompany the development of such systems, from both the theoretical and practical standpoint. And finally, the lecture will present author's views of the upcoming sythesis of the statistical and logical approach to AI domain problem solving.
Mirko Čubrilo was born in September 1953 in Josipovac, Croatia. He received his M.Sc. in mathematics (specializing in the field of mathematical logic) at the Faculty of Mathematics and Natural Sciences, Zagreb University, Croatia, and his Ph.D. in Computer Science, at the Faculty of Electrotechnics (now Faculty of Electrical Engineering and Computing), Zagreb University. He holds full professorship at the Zagreb University. At the Faculty of Organization and Informatics in Varaždin he teaches several courses on graduate as well as on postgraduate studies, including Data Structures, Introduction to Formal Methods, Advanced Formal Methods, Logic Programming, Selected Topics in Artificial Intelligence and Selected Topics in the Logic of Conflict. His research encompasses applications of mathematical logic and the theory of algorithms in modeling and solving wide range of problems, and as of recently also includes deep learning. He has published over 50 papers and the book Mathematical Logic for Expert Systems (in Croatian). He was the leader of, and chief researcher on, several research projects.