Congresses 606 Data processing 80 Computer programming 78 Artificial intelligence 67 Computer science 65 Parallel processing (Electronic computers) 65 Programming languages (Electronic computers) 61 Computer software 54 Computer algorithms 53 Electronic data processing 48 Database management 47 Logic, Symbolic and mathematical 46 Logic programming 44 Machine theory 39 Computational complexity 35 Automatic theorem proving 34 Development 30 Formal languages 30 Mathematics 29 Algorithms 27 Distributed processing 26 Expert systems (Computer science) 24 Algebra 22 Computer architecture 21 Cryptography 21 Semantics 20 Computers 19 Data structures (Computer science) 19 Image processing 19 Object-oriented programming (Computer science) 17