Infinity in logic and computation

by ILC 2007 (2007 Cape Town, South Africa)

'The topics of the conference included automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connectio…