"Computer-aided proofs in analysis"

Contact information

Visiting address
The Ångström Laboratory
Lagerhyddsvägen 1
Polacksbacken, Uppsala

Postal address
The Ångström Laboratory
Box S-524
751 20 Uppsala

Aangstoem LabThe Ångström Laboratory.


The Faculty of Science and Technology is one of nine faculties at Uppsala University, which provide the foundations for its teaching and research activities. The Department of Mathematics, at the Ångström Laboratory, is where CAPA is situated.


Uppsala University provides maps over the main university areas in Uppsala. The Ångström Laboratory also provides maps, as well as directions.

Where to go

The Departement of Mathematics is located on the top floor of the Ångström Laboratory.

Campus areas
Avenue of Knowledge – Adjoining Campuses from the Ångström Laboratory to Ekonomikum.