nelsonaloysio.bsky.social
Postdoc researching 🤖🧠 and ⏳🌐 @ ISTI-CNR, Italy nelsonaloysio.github.io
👤 Joined on 26 October 2024
Followers
Following
Total Posts
@nelsonaloysio.bsky.socialPoincaré and Bourbaki on understanding a proof vs verifying it — in 📄 Understanding in mathematics: The case of mathematical proofs (2024) onlinelibrary.wiley.com/doi/10.1111/...
Show PostReminder: Mikhail Prokopenko's CoCo seminar tomorrow! (yrCSS Warm-Up participants can watch it from ES 2008 via Zoom :)
Show PostWe are excited to announce that Silvio C. Ferreira (@silviojrufv.bsky.social) from the Federal University of Viçosa will be a keynote speaker at LANET 2027. Porto Alegre, Brazil, July 26-30, 2027. Join us: lanetconference.github.io/index.html #NetworkScience
Show PostDisentangling epidemics and percolation arxiv.org/abs/2610.03573
Show PostThere is no more satisfying feedback a writer can receive than this.
Show Post