Foundations of Data Mining Data Mining and Knowledge Discovery, Biology and Bioinformatics, Applications for the Automated Theorem Provers, Inductive Learning Systems, Rough Sets, Generalized Fuzzy and Rough sets, Dealing with Uncertain Information, Automated Theorem Proving, Formal Languages, General models for computing machines, Automated Theorem Proving in non-classical logics, and Experimental Education.