Topos Institute

Directly from our Oxford Director now https://lnkd.in/gVbRzJrE

Open source Mathematics curriculum and assessment tools workshop Kisumu, Kenya Workshop (August 2024) The workshop, sponsored by AIM and NSF, was devoted to improving the usefulness and impact of open Educational Technologies. Brendan Fong and Tim Hosgood attended from Topos and Tim wrote the blog posthttps://lnkd.in/gxTKCe2T

From the categories mailing list: Post-doc Positions at Topos Oxford! The Topos Institute is starting a UK branch in Oxford and we’re opening up two post-doc positions starting Oct 1, 2024. Topos is looking to grow our UK team,  so while this position is currently funded by a 1-year project, selected candidates may have the opportunity for extension or even to transition into a permanent role. We’re looking for candidates with PhDs in category theory, type theory, algebraic systems theory, or related areas in mathematics and computer science who are interested in applying their knowledge to practical problems of scientific modelling. We’ll be working on compositional scientific modelling, model validation, and structure-aware version control. We’re hiring for two work projects: in the first, we’ll be developing double categorical systems theory, using monoidal double categories to organise the composition of systems and using monoidal double categories of spans or relations to organise the logic of system validation.  In the second, we’ll be researching structure-aware version control (using type theory / logical relations and categorical patch theory) for the purpose of version controlling and incrementally updating scientific models. Please reach out to Dr David Jaz Meyers with any inquiries or questions, and for more info, follow this link:  https://lnkd.in/gVbRzJrE

Topos Institute talks at CLAM (Caribbean and Latin American Mathematics) conference last week. 595 mathematicians registered https://lnkd.in/gsxgyafB

Dr. Prof. Ilka Agricola on "A view from the IMU Committee on Electronic Information and Communication". The importance of publishing in Modern Mathematics, at the Hausdorff Institute of Mathematics, Bonn, https://lnkd.in/gVVEckvQ

This week we're concluding the Hausdorff Institute of Mathematics #HIM "Prospects of Formal Mathematics" trimester program, in Bonn. There were five workshops plus a Summer School and a constant stream of talks. You can see the program at https://lnkd.in/eBr3HbZP

We are thrilled to announce that Dr. David Spivak, Senior Research Scientist and Institute Fellow at Topos Institute, will speak at the 17th Annual Artificial General Intelligence Conference. Watch Dr. Spivak share his lifelong passion for math and discuss his journey from feeling insecure about the world as a child to grounding his understanding in mathematics: https://lnkd.in/eFnPATG2 For more information and registration, please visit the Conference website: https://agi-conf.org/2024/ #AGI24 #AGIconference #AI #AGI #BeneficialAGI #AGIsociety #SingularityNET #TrueAGI #SeattleEvents #Springer #Technology #UW #AIresearch #Seattle #ArtificialGeneralIntelligence

The Workshop "Women in Formal Mathematics" at Hausdorff Institute of Mathematics #HIM videos got uploaded, but some had problems. The five ones in the playlist are great! check them out https://lnkd.in/g3kMwXq2

This week we're discussing "Digital Libraries" at the Hausdorff Institute of Mathematics trimester on formal math. See for example, Fabian Huch on "Big Math Libraries in ITPs", https://lnkd.in/gSMpzEaj

Starting week 12 of the trimester on "Prospects of Formal Mathematics" at the Hausdorff Center for Mathematics (https://lnkd.in/eBr3HbZP). Monday is welcoming bbq day! (thanks for the photo Jonathan Weinberger)