Title: Theoretical Aspects of Computing – ICTAC 2011
Subjects: Logic design, Computer science, Software engineering, Computer software, Computer networks, Congresses, Security measures, Electronic data processing, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Computation by Abstract Devices