## From the AMS Secretary

#### A Case Study in Noncommutative Topology

Claude L. Schochet discusses how the irrational rotational C*-algebra arises in nature and how K-theory is used to get information out of it.

#### Some Open Problems in Asymptotic Geometric Analysis

Bo’az Klartag and Elisabeth Werner describe four related open problems in asymptotic geometric analysis.

#### The CBMS Survey: A New Report

The latest report on the Conference Board of the Mathematical Sciences (CBMS) Survey was released in May, and it is brimming with both global and fine-grain information about undergraduate programs in the mathematical sciences throughout the US.

#### Opinion: The Mechanization of Mathematics

In computer science, formal methods are used to specify, develop, and verify hardware and software systems. Such methods hold great promise for mathematical discovery and verification of mathematics as well.

#### Letters to the Editor

We invite readers to submit letters to the editor to Notices at notices-letters@ams.org

#### Review: A Welcome Addition to the Philosophy of Mathematical Practice

Brendan Larvor reviews Roi Wagner's Making and Breaking Mathematical Sense: Histories and Philosophies of Mathematical Practice.

#### Robert Langlands Awarded Abel Prize

The Norwegian Academy of Science and Letters has awarded the Abel Prize for 2018 to Robert P. Langlands of the Institute for Advanced Study, Princeton, “for his visionary program connecting representation theory to number theory.”

#### Beilinson and Drinfeld Awarded 2018 Wolf Prize in Mathematics

The prize citation reads in part: “The Wolf Foundation Prize for Mathematics in 2018 will be awarded to Professors Alexander Beilinson and Vladimir Drinfeld...for their groundbreaking work in algebraic geometry, in mathematical physics, and in representation theory..."