🌞 Summer school announcement:🌞 🚨Theory and Applications of (∞,n)-Categories🚨 (∞,n)-category theory is an enigma: - It is very abstract🧠 - Yet it has many applications: in advanced mathematics🕸️ and ...

The AI.MATH initiative puts forward draft positions on AI in mathematical research and degree programmes for discussion, alongside questions and possible answers.

Alex Townsend postulates the reason behind the sharp uptick in journal article submissions and the increased burden placed on editors and referees.

Read the declaration and add your name.

This is the academic home page of Nima Rasekh.

✨🤖 AI ➡️ Formalization ➡️ Teaching Math 📚✨ There is a lot of discussion right now about how #AI 🤖 and #Formalization ✅ will shape the future of mathematical research 🧠📐 Shout-out to the exciting wor...

Bonn International Graduate School (BIGS) Mathematics

✨ Conference wrap-up! ✨ This week, I finally had the chance to bring everyone together at the Mittag-Leffler Institute for our conference on Formalizing Higher Categories. 🔗 https://lnkd.in/eNXbjkMg...

🚨 New paper alert! 🚨 Condensed mathematics is a new formalism that combines the best of two worlds: topology🕸️ and algebra🔢! 🤝 Here the fundamental concept is the "condensed object" which can infuse ...

Join us to study the mathematical foundations of type theory in this interdisciplinary PhD position.

Mathematician, lover of mountains, mother of four, EPFL professor

Mathjobs is an automated job application system sponsored by the AMS.

🚀 Conference News 🚀 Together with Jonathan Weinberger, Paige Randall North, Peter LeFanu Lumsdaine, and Thierry Coquand I am organizing the upcoming conference titled ✨ Formalizing Higher Categories...

Higher category theory is now a fundamental aspect of modern mathematics, playing a crucial role in algebraic topology, algebraic geometry,...