Algorithms and structures: combinatorics, complexity theory, discrete mathematics.
Artificial intelligence (including learning, neural computation and planning and reasoning): differential geometry and non-linear dynamics, logics, probabilistic and statistical techniques.
Complex, communicating and concurrent systems: dynamical systems, ergodic theory, functional analysis, process calculi and logics, stochastic systems.
Computer graphics, robotics and vision: algebraic, computational and differential geometry, kinematics, topology.
Principles of programming languages, including semantics and language design: category theory, game theory, logic, ordered structures and domain theory, universal algebra.
Networks, telecommunications and information security: cryptology, data encoding, digitisation, graph theory, information theory, number theory, probabilistic and statistical techniques, signal processing.
Novel models of computation.
Return to Past Events. |