- Electronic digital computers--Programming--Congresses (150)
- Programming languages (Electronic computers)--Congresses (27)
- Electronic data processing--Congresses (24)
- Computational complexity--Congresses (14)
- Computer algorithms--Congresses (14)
- Machine theory--Congresses (14)
- Algorithms--Congresses (13)
- Computer arithmetic--Congresses (12)
- Floating-point arithmetic--Congresses (11)
- Rewriting systems (Computer science)--Congresses (8)
- Formal languages--Congresses (6)
- Logic, Symbolic and mathematical--Congresses (4)
- Categories (Mathematics)--Congresses (3)
- Computer science--Mathematics--Congresses (3)
- Computer software--Congresses (3)
- Data base management--Congresses (3)
- Computer architecture--Congresses (2)
- Linguistics--Congresses (2)
- Mathematics--Data processing--Congresses (2)
- ALGOL (Computer program language)--Congresses (1)
- Ada (Computer program language)--Congresses (1)
- Algebra--Data processing--Congresses (1)
- Automatic control--Data processing--Congresses (1)
- Computable functions--Congresses (1)
- Computer graphics--Congresses (1)
- Computer networks--Congresses (1)
- Computer programmers--Congresses (1)
- Computer programming management--Congresses (1)
- Computer programming--Congresses (1)
- Computer programs--Correctness--Congresses (1)
- Electronic data processing--Distributed processing--Congresses (1)
- Electronic data processing--Mathematics--Congresses (1)
- Electronic digital computers--Congresses (1)
- Engineering--Data processing--Congresses (1)
- Fifth generation computers--Programming--Congresses (1)
- Formal language--Congresses (1)
- Information storage and retrieval systems--Congresses (1)
- LISP (Computer program language)--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)
- Probabilities--Congresses (1)
- Problem solving--Congresses (1)
- Programming languages (Computers)--Congresses (1)
- Queuing theory--Congresses (1)
- Robots, Industrial--Congresses (1)
- Science--Data processing--Congresses (1)