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. 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.
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
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
Evolutionary optimization with active learning of surrogate models and fixed evaluation batch size . . . . . . . 39 V. Charypar, M. Holeňa Localization of (in)consistencies by monotone reducing automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 M. Procházka, M. Plátek