Abstract: The emergence of networked systems in various fields brings many complex distributed optimization problems, where multiple agents in the system need to optimize a global objective ...

Abstract: Program synthesis is the task of automatically constructing a program conforming to a given specification. In this paper we focus on synthesis of single-invocation recursion-free functions ...

17 March 2026, 4:30 pm–6:30 pm Mathelinda is Programme Director for the Creative Critical Writing / Inquiry PhD programmes in SELCS-CMII. While these programmes have a prehistory dating back to the ...

Retired Professor Peter Kugel, a long-time member and former chair of the Computer Science Department who devoted much thought to the human dimension of computer technology, died on October 11. He was ...

Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable Ω number, a concrete example of irreducible complexity in pure mathematics which shows ...