🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Thank you to Pietro Monticone and Claudio Moroni for your upcoming talk at JuliaCon 2023! MultilayerGraphs.jl: Multilayer Network Science in Julia pretalx.com/juliacon2023/t… juliacon.org/2023/ #datascience #opensource #programming #julialang #machinelearning

👇👇👇

Last week I completed the #IPSP2023 initiative organized by the Physics Department of Università di Trento , Confindustria Trento , Fondazione HIT - Hub Innovazione Trentino , Trentino Sviluppo and others. Amazing people, beautiful location, great work! Luca Tubiana @[email protected]

📢 Here is our talk “Multilayer Network Science in Julia with MultilayerGraphs.jl” presented by Pietro Monticone and Claudio Moroni at #WAW2023 The Fields Institute Toronto Metropolitan University: 🌐 Website fields.utoronto.ca/talks/Multilay… 📹 Video youtube.com/watch?v=hB8Vrw… 📑 Slides inphyt.github.io/Talks/2023/WAW…

Are you interested in getting started with blueprint-driven formalisation projects in Lean? I created a template repository (from which this project was generated) with the tutorial I presented at @HCM_Bonn. 📂 Repo: github.com/pitmonticone/L… 🎥 Video: youtu.be/KyuyTsLgkMY

A very nice article in Quanta Magazine mentions our #EquationalTheories project, led by Terence Tao, which aims to advance collaborative mathematical research at scale through the synergy of human, interactive and automated theorem provers. quantamagazine.org/mathematical-b…