Title: Theoretical Aspects of Computing – ICTAC 2012
Subjects: Mathematical Logic and Formal Languages, Software engineering, Information theory, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Theory of Computation, Congresses, Computer networks, Security measures