Abstracts of the plenary lecture and the four invited, introductory lectures in the section Mathematics with Informatics of ISDET\,2013 Conference are presented.