Skip to content

Menu

Research

Research

Explore the structures that connect pure ideas with computation.

Explore research

Research themesSix connected fields of inquiry ProjectsCollaborative mathematical research PublicationsPapers from our community Book seriesMonographs, surveys and lecture notes

People

People

Meet the people behind the mathematics.

Our researchersResearchers, visitors and collaborators Doctoral communityMeet the Mathesis members Young researchersEmerging mathematical talent OrganizationLeadership and scientific boards

Events

Events

Time and space for mathematical exchange.

EventsGatherings and the programmes behind them Event seriesConversations across the community Courses & masterclassesLearn from international researchers Past eventsExplore the programme archive

Mathesis

Mathesis

A research school for the next generation of mathematicians.

Explore mathesis

CoursesDoctoral courses and masterclasses MembershipBecome part of the research school Our membersA national doctoral community ResourcesSupport for your research

The center

The center

A Norwegian home for an international mathematical community.

Explore the center

Our visionWhat brings us together Our historyThe legacy of Lie and Størmer OrganizationHow the center is governed PartnersOur wider research community FundingSupport for sustained research ContactStart a conversation with the center NewsUpdates from the center

Contact the center

CATMI 2023: Category Theory at Work in Computational Mathematics

26–30 June 2023

Past event

Grand Hotel Terminus, Bergen, Norway

Conference · In person

Contact

Email the organisers

Share

Browse all past events

for Fundamental structures in computational and pure mathematics

Research People Events Mathesis Publications

About the center Our history Organization Partners News Contact & visiting

contact@lie-stormer.no

Tromsø · Bergen

UiT The Arctic University of Norway University of Bergen

Privacy Cookies & external media