Univalent foundations and proof assistants.- Software for mathematical reasoning and applications.- Algebraic and toric geometry.-...