Nyheter

Her publiserer vi nyheter om senteret og dets aktiviteter, så vel som intervjuer med våre forskere om forskningen deres og tiden på CAS.

Mange av nyhetene våre blir bare skrevet og publisert på engelsk, så søkefunksjonen vil kun benytte seg av engelsk som språk.

Om du ønsker å følge med på hva som skjer på CAS kan du melde deg på det månedlige nyhetsbrevet vårt (kun engelsk) >

20 December 2021

Alumni Spotlight: Bjørn Ian Dundas

‘CAS is such a fantastic institution,’ said mathematician and former CAS project leader Bjørn Ian Dundas when thinking back on his year at the Centre.

07 October 2020

CAS Alumnus granted 34.7 million Swedish Kronor for analysing proofs

The Knut and Alice Wallenberg Foundation granted Thierry Coquand support for his joint mathematical and computer science project “Type Theory for Mathematics and Computer Science”.

‘Our modern society depends on correct mathematics’

Marc Bezem and Bjørn Ian Dundas use computers to verify mathematical proofs. ‘We believe our research can change the methodology of mathematics’, Bezem says, as their year at CAS comes to an end.

15 January 2019

Project Update: 'Homotopy Type Theory and Univalent Foundations'

CAS fellows discuss their work with advancing the new mathematical theory.

19 September 2018

Meet the Project: 'Homotopy Type Theory and Univalent Foundations'

The 2018/19 CAS project in the natural sciences aims to push a new mathematical theory forward.

2018/19 CAS Projects: Religion, Media and Time, and Mathematics

The Centre for Advanced Study (CAS) is welcoming a new cohort of scholars to Oslo as the 2018/19 academic year begins.