Congresses 95 Computer programming 89 Computer programs 24 Electronic digital computers 21 Programming languages (Electronic computers) 19 Programming 17 Machine theory 16 Electronic data processing 15 Formal languages 14 Data processing 11 Computer algorithms 7 Computer software 7 Rewriting systems (Computer science) 7 Compilers (Computer programs) 5 Computer science 5 Database management 5 Logic, Symbolic and mathematical 5 Algorithms 4 Automatic control 4 Computers 4 Mathematics 4 Categories (Mathematics) 3 Computational complexity 3 Computer architecture 3 Automatic theorem proving 2 Computer graphics programs 2 Engineering graphics 2 Geometrical models 2 Information storage and retrieval systems 2 Numerical analysis 2