Abstract: For a fixed prime number p, we report on some recent developments in algebraic geometry (broadly construed) over p-adically complete commutative rings.