Computer science--Congresses. Mathematical Logic and Formal Languages. Computer Science. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematics of Computing. Discrete Mathematics in Computer Science.