Title: Infinity in logic and computation
Description: '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 connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite sate systems."--Preface.
Subjects: Machine theory, Computational complexity, Symbolic and mathematical Logic, Berechenbarkeit, Congresses, Unendlichkeit, Logik, Logic, Artificial intelligence