The Demise of Religions

Led by James Lewis, professor of religious studies at the University of Tromsø - The Arctic University of Norway (UiT), and Michael Stausberg, professor of religion at the University of Bergen (UiB), this project explores how and why religions go extinct.

The scrap heap of history is full of discarded religious groups and traditions. Some were gradually replaced by new religions and forgotten, others were exterminated along with their faithful. By taking a comparative approach, this project aims to investigate what happens when a religion disappears, and what that can tell us about the life cycle of other cultural phenomena. 

In Sync: How Synchronisation and Mediation Produce Collective Times, Then and Now

Led by Helge Jordheim, professor of cultural history and museology, and Espen Ytreberg, professor of media studies at the University of Oslo (UiO), this project deals with collective experiences.

Living in a society means experiencing things together -- not just major events like elections, sporting events, and parades, but also small, everyday happenings. This project will study how societies from the 18th century to the present are organised around such events, and the important role that different media play in creating a shared understanding of time.

Homotopy Type Theory and Univalent Foundations

Led by Marc Bezem, professor of informatics, and Bjørn Ian Dundas, professor of mathematics at the University of Bergen (UiB), this project is built on two fundamental questions within the field of mathematics: ‘What is a proof?’ and ‘What does it mean to be equal?’

The answers to these questions have varied throughout the course of history. Today, scientists can use powerful computing tools to verify mathematical proofs, but then the challenge is to find a language that is both efficient and expressive enough. The scholars behind this project believe that homotopy type theory is the solution.