Preface The 12th conference ITAT’12 Information Technologies – Application and Theory was held at the hotel Magura located in Monková dolina, near Ždiar, Belianske Tatry, Slovakia in September 17-21th, 2012. The conference is a traditional place of meetings for Czech and Slovak computer science communities. The emphasis is on exchange of ideas and information as well as on consolidation of bounds between the scientists of these two countries. Large space in the scientific and the social program is devoted to discussions. Conference languages are Slovak and Czech. All the 25 submitted papers were reviewed by two independent reviewers. The proceedings consists of 8 selected scientific papers and the extended abstract of the invited talk. The conference was co-organized by – Institute of Computer Science, P. J. Šafárik University in Košice – Faculty of Mathematics and Physics, Charles University in Prague – Institute of Computer Science of Academy of Sciences of the Czech Republic, Prague – Slovak Society for Artificial Intelligence I would like to thank to the authors of presented papers, the invited speaker Jiří Kléma and all the reviewers for keeping the good scientific level of ITAT. Special thanks go to the organizing committee led by Peter Gurský for the great job in organization of the conference. The conference was partially supported by the grant VEGA 1/0832/12. Special thanks go to our sponsor Profinit (http://www.profinit.eu/) Tomáš Horváth We recommend the use of Adobe Reader version 9.0 to view this pdf-file. Program Committee Tomáš Horváth, (Chair), University of P.J. Šafárik, Košice, SK Radim Bača, Technical University VŠB, Ostrava, CZ David Bednárek, Charles University in Prague, Prague, CZ Mária Bieliková, Slovak University of Technology, Bratislava, SK Jiří Dokulil, Charles University in Prague, Prague, CZ Jana Dvořáková, Charles University in Prague, Prague, CZ Peter Gurský, University of P.J. Šafárik, Košice, SK Tomáš Holan, Charles University in Prague, Prague, CZ Martin Holeňa, Institute of Computer Science, AS CR, Prague, CZ Jozef Jirásek, University of P.J. Šafárik, Košice, SK Jana Katreniaková, Comenius University, Bratislava, SK Rastislav Královič, Comenius University, Bratislava, SK Michal Krátký, Technical University VŠB, Ostrava, CZ Věra Kůrková, Institute of Computer Science, AS CR, Prague, CZ Markéta Lopatková, Charles University in Prague, Prague, CZ Roman Neruda, Institute of Computer Science, AS CR, Prague, CZ Dana Pardubská, Comenius University, Bratislava, SK Tomáš Plachetka, Comenius University, Bratislava, SK Martin Plátek, Charles University in Prague, Prague, CZ Jaroslav Pokorný, Charles University in Prague, Prague, CZ Karel Richta, Charles University in Prague, Prague, CZ Gabriel Semanišin, University of P.J. Šafárik, Košice, SK Vojtěch Svátek, University of Economics, Prague, CZ Roman Špánek, Institute of Computer Science, AS CR, Prague, CZ Július Štuller, Institute of Computer Science, AS CR, Prague, CZ Peter Vojtáš, Charles University in Prague, Prague, CZ Jakub Yaghob, Charles University in Prague, Prague, CZ Filip Zavoral, Charles University in Prague, Prague, CZ Organizing Committee Peter Gurský, (chair), University of P. J. Šafárik, Košice, SK Hanka Bílková, Institute of Computer Science, AS CR, Prague, CZ Róbert Novotný, University of P. J. Šafárik, Košice, SK Martin Šumák, University of P. J. Šafárik, Košice, SK Lenka Pisková, University of P. J. Šafárik, Košice, SK Organization ITAT 2012 – Information Technologies – Applications and Theory was organized by University of P. J. Šafárik, Košice, SK Institute of Computer Science, AS CR, Prague, CZ Faculty of Mathematics and Physics, Charles University in Prague, CZ Slovak Society for Artificial Intelligence, SK Table of Contents Invited paper Machine learning applications in bioinformatics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 J. Kléma Scientific papers RBF-based surrogate model for evolutionary optimization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 L. Bajer, M. Holeňa Effective Datalog-like representation of procedural programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 D. Bednárek Conformal sets in neural network regression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 R. Demut, M. Holeňa Evolutionary optimization with active learning of surrogate models and fixed evaluation batch size . . . . . . . 39 V. Charypar, M. Holeňa Aligning sequences with repetitive motifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 P. Kováč, B. Brejová, T. Vinař Surrogate solutions of Fredholm equations by feedforward networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 V. Kůrková Localization of (in)consistencies by monotone reducing automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 M. Procházka, M. Plátek