This volume contains the proceedings of the international conference Finite Simple Groups: Thirty Years of the Atlas and Beyond Celebrating the Atlases and Honoring John Conway, which was held from November 2–5, 2015, at Princeton University, Princeton, New Jersey.

Classification of Finite Simple Groups, one of the most monumental accomplishments of modern mathematics, was announced in 1983 with the proof completed in 2004. Since then, it has opened up a new and powerful strategy to approach and resolve many previously inaccessible problems in group theory, number theory, combinatorics, coding theory, algebraic geometry, and other areas of mathematics. This strategy crucially utilizes various information about finite simple groups, part of which is catalogued in the Atlas of Finite Groups (John H. Conway et al.), and in An Atlas of Brauer Characters (Christoph Jansen et al.). It is impossible to overestimate the roles of the Atlases and the related computer algebra systems in the everyday life of researchers in many areas of contemporary mathematics.

The main objective of the conference was to discuss numerous applications of the Atlases and to explore recent developments and future directions of research, with focus on the interaction between computation and theory and applications to number theory and algebraic geometry. The papers in this volume are based on talks given at the conference. They present a comprehensive survey on current research in all of these fields.