Health Informatics, Artificial Intelligence, Data Mining, Knowledge Discovery, Information Systems Applications, Internet, Image Processing, Computer Vision, Mathematical Logic, Formal Languages