UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 4 Quality Education -
SDG 14 Life Below Water
Fingerprint
Publication network from the last five years
Profiles
-
-
Erik van den Ban
- Faculty of Science, Sub Fundamental Mathematics - Professor
Person: Guest, Contract or Emeritus
-
Pieter Belmans
- Faculty of Science, Sub Fundamental Mathematics - Assistant Professor
Person: Assistant Professor
-
Viktor Blasjo
- Faculty of Science, Sub Fundamental Mathematics - Assistant Professor
Person: Assistant Professor
-
Roelof Bruggeman
- Faculty of Science, Sub Fundamental Mathematics - Associate Professor
Person: Guest, Contract or Emeritus
Research output
-
Examples of non-target-representable symplectic capacities
Guggisberg, Y. & Ziltener, F., Feb 2026, In: Differential Geometry and its Application. 102, 16 p., 102309.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
From Semantics to Syntax: A Type Theory for Comprehension Categories
Najmaei, N., Van der Weide, N., Ahrens, B. & North, P. R., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 2409-2438 30 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Global model categories and topological André-Quillen cohomology
Lenz, T. & Stahlhauer, M., Mar 2026, In: Transactions of the American Mathematical Society. 379, 3, p. 1541-1626 86 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Growing Mathlib: maintenance of a large scale mathematical library
Baanen, A., Ballard, M. R., Commelin, J., Chen, B. G., Rothgang, M. & Testa, D., 2026, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Proceedings. de Paiva, V. & Koepke, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 51-70 20 p. (Lecture Notes in Computer Science; vol. 16136 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Lax functorialities of the comma construction for ω-categories
Ara, D. & Guetta, L., Mar 2026, In: Advances in Mathematics. 488, 70 p., 110762.Research output: Contribution to journal › Article › Academic › peer-review
Activities
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
3 Jul 2025Activity: Talk or presentation › Invited talk › Academic
-
Srni Winter School of Geometry and Physics
Cavalcanti, G. (Speaker)
20 Jan 2025 → 24 Jan 2025Activity: Talk or presentation › Invited talk › Academic
-
Almost complex vs generalized complex
Cavalcanti, G. (Speaker)
8 Sept 2025 → 12 Sept 2025Activity: Talk or presentation › Invited talk › Academic
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
10 Apr 2025Activity: Talk or presentation › Invited talk › Academic
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
16 Apr 2025Activity: Talk or presentation › Invited talk › Academic
In the media
-
The biggest controversy in maths could be settled by a computer
11/11/25
1 Media contribution
Press/Media: Research
-
Fost olimpic la matematică din Alba, acum profesor și membru al Academiei Olandeze, mesaj de susținere pentru Nicușor Dan
12/05/25
1 Media contribution
Press/Media: Expert Comment
-
Mathematical Beauty, Truth and Proof in the Age of AI
30/04/25
1 Media contribution
Press/Media: Expert Comment
-
Mathematisches Kolloquium in memoriam Professor Thomas Streicher
23/04/25
1 Media contribution
Press/Media: Expert Comment
-
New Proofs Expand the Limits of What Cannot Be Known
9/03/25
1 Media contribution
Press/Media: Expert Comment
Prizes & Grants
-
-
-
-
-
Elected member of the Royal Netherlands Academy of Arts and Sciences (KNAW)
Crainic, M. N. (Recipient), 2016
Prize: Election to learned society