Artificial intelligence Compilers & interpreters Computer Systems Organization and Communication Networks Computer networking & communications Computer programming / software engineering Discrete Mathematics in Computer Science Discrete mathematics Logic in AI Mathematical Logic and Foundations Mathematical foundations Mathematical logic Maths for computer scientists Programming & scripting languages: general Programming Languages, Compilers, Interpreters Programming Techniques artificial intellegence categorical models and logics concurrency theory and process calculi emerging models of computation formal logic language theory, automata, and games linguistics logical aspects of computational complexity logical foundations of data bases logics of programming mathematics modal, spatial, and temporal logics models of software security program analysis, correctness, transformation, and verification rewriting theory