Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong ...

Over the last decade computability theory has seen many new and fascinating developments that have linked the subject much closer to other mathematical disciplines inside and outside of logic. This includes, for instance, ...

This was the seventh workshop on Computational Group Theory. It showed that Computational Group Theory has significantly expanded its range of activities. For example, symbolic computations with groups and their representations ...

This sixth workshop on Computational Group Theory proved that its main themes “finitely presented groups”, “$p$-groups”, “matrix groups” and “representations of groups” are lively and active fields of research. The talks ...

This was the eighth Oberwolfach Workshop on Computational Group Theory. It demonstrated how an increasing number and variety of deep theoretical results are being used to devise powerful and practical algorithms ...

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq ...

The geometry of convex domains in Euclidean space plays a central role in several branches of mathematics: functional and harmonic analysis, the theory of PDE, linear programming and, increasingly, in the study of algorithms ...

The past 30 years have not only seen substantial progress and lively activity in various areas within convex geometry, e.g., in asymptotic geometric analysis, valuation theory, the $L_p$-Brunn-Minkowski theory and stochastic ...

The geometry of convex domains in Euclidean space plays a central role in several branches of mathematics: functional and harmonic analysis, the theory of PDE, linear programming and, increasingly, in the study of ...

The science of cryptography lies at the very foundations of trust in current and future systems and devices for communication and computation. For example, secure communications over the internet today are possible thanks ...