iiinova — where your digital self keeps evolving

Marco Peressotti @mperessotti.bsky.social · 16/06/2026

📢 Job Alert: PhD and PostDoc positions at the Centre for Formal Methods and Future Computing (FORM) in Denmark. Application links below. 👇 If you are interested in programming languages and distributed systems, with an emphasis on foundations and formal methods, feel free to get in touch.

130

Marco Peressotti @mperessotti.bsky.social · 10/03/2026

🎉 our PhD student Judith Kankam-Boateng just had her first lead-author paper accepted at #CHI2026 @chi.acm.org Using workshops and focus groups, Judith mapped cybersecurity mental models across stakeholders in Denmark’s defence sector: • Policymakers • Industry Associations • SMEs Key insight 👇

120

Reposted by Marco Peressotti

Lean Focused Research Organization @lean-lang.org · 22/02/2026

CSLib just launched — an open-source effort to formalize computer science in Lean, inspired by Mathlib. CS researchers, practitioners & enthusiasts are invited to get involved! Learn more at: 🌐 cslib.io 🤝 Contribute: github.com/leanprover/c... #LeanLang #LeanProver #CSLib #FormalVerification

1207

Reposted by Marco Peressotti

Lean Focused Research Organization @lean-lang.org · 10/02/2026

The next Lean FRO office hours are Feb. 11 at 4pm UTC. Bring your questions, share your projects, or just come to learn from others in the community! See our full calendar here: lean-lang.org/community/#e... #LeanLang #LeanProver

062

Reposted by Marco Peressotti

Dan Plyukhin @dplyukhin.bsky.social · 22/01/2026

The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @sigplan-pldi.bsky.social this year! Talk proposals are due in just a couple months. Please out the website and please share widely. pldi26.sigplan.org/home/cp-2026

pldi26.sigplan.org

CP 2026 - PLDI 2026

Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreog...

143

Reposted by Marco Peressotti

Digital Democracy Centre @ddc-sdu.bsky.social · 21/01/2026

4 𝐎𝐩𝐞𝐧 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 (𝐏𝐡𝐝, 𝐏𝐨𝐬𝐭𝐝𝐨𝐜, 𝐅𝐮𝐥𝐥 𝐏𝐫𝐨𝐟𝐞𝐬𝐬𝐨𝐫) 𝐚𝐭 𝐭𝐡𝐞 𝐃𝐃𝐂!!! 😯🤩 The DDC is expanding its team with *4* new opportunities for researchers passionate about the intersection of AI, media, democracy, & society. Deadline: 📅 Feb 15 for 3 of these roles! The Professorship deadline follows in March.🧵👇

fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com

Postdoc position(s) at The Digital Democracy Centre

Application deadline: February 15th, 2026, 23:59 CET/CEST.

22834

Reposted by Marco Peressotti

Python Software Foundation @python.org · 27/10/2025

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-... 🧵

python.org

The official home of the Python Programming Language

12363772727

Reposted by Marco Peressotti

Lean Focused Research Organization @lean-lang.org · 21/10/2025

"Theorem Proving in Lean 4" is the essential guide for anyone using Lean for mathematical proofs. Kept up-to-date with each new Lean release, it covers everything from basic tactics to advanced proof strategies. Read the book here: lean-lang.org/theorem_prov... #LeanLang #LeanProver #Mathematics

0193

Reposted by Marco Peressotti

Claes de Vreese @claesdevreese.bsky.social · 30/08/2025

Denmark invests 80M DKK in digital sovereignty. Minister of Digital Affairs @carolinestage.bsky.social will lead initiatives to reduce dependency of big tech. Money will be spent on developing and testing alternatives. www.digmin.dk/digitaliseri...

digmin.dk

Regeringen afsætter 80 millioner kroner til digital suverænitet

I en usikker verden med handelskrige og geopolitiske spændinger er det ikke nok at diskutere, hvordan Danmark bliver mindre afhængig af store techgiganter. Derfor vil regeringen med sit finanslovsfors...

1279

Reposted by Marco Peressotti

Dan Plyukhin @dplyukhin.bsky.social · 23/06/2025

I gave a talk at PLDI '25 about the future of Actor GC in Apache Pekko - with applications to #akka #erlang and #elixir. It's the culmination of my 6+ year PhD at UIUC, and I tried to make the talk really fun and easy to follow :) Check it out here: www.youtube.com/live/lGM37Z3...

The title is "CRGC: Fault-Recovering Actor GC in Apache Pekko". The authors are Dan Plyukhin (SDU), Gul Agha (UIUC), and Fabrizio Montesi (SDU)

142

Marco Peressotti @mperessotti.bsky.social · 12/06/2025

#AI-powered peer reviews are here: `ReviwerGPT' landed at AAAI aaai.org/aaai-launche... The high volume of papers for flagship conferences like AAAI is putting a strain on reviewers--nothing new here. Tools to help reduce workload are clearly needed. But are #LLMs the right way to do that?

aaai.org

AAAI Launches AI-Powered Peer Review Assessment System - AAAI

AAAI, a leading nonprofit dedicated to advancing scientific research and collaboration, launches AI-Powered peer review assessment system.

000

Marco Peressotti @mperessotti.bsky.social · 10/06/2025

What links cybersecurity awareness and supply chain risk management, and why does it matter for small manufacturers? We explore how these factors shape firm performance in our latest paper doi.org/10.1108/SCM-... in the journal Supply Chain Management. #Cybersecurity #SupplyChain #C-SCRM #SMEs

121

Reposted by Marco Peressotti

Shriram Krishnamurthi @shriram.bsky.social · 08/05/2025

How GenAI will help in education /s. Vasari's chapter on Giotto has a story about a commission gone bad. Here is the original (de Vere), GPT-4, Claude 3.5, and Google Search. You just have to ask the right question—even on old, famous content!—to break it BADLY! #Italy25

172

Reposted by Marco Peressotti

Ilya Sergey @ilyasergey.bsky.social · 29/04/2025

We need a conference on Usable Formal Methods. Every submission to it must come with a verifier,a set of positive/negative examples for it, and, most importantly, an exercise. A review may give a positive score only if it provides a solution to the exercise, which is accepted by the verifier.

0113

Reposted by Marco Peressotti

Paris Marx @parismarx.com · 21/04/2025

The days of Google Docs are ending; we enter the age of Docs, made by France's Interministerial Directorate for Digital Affairs and Germany's Center for Digital Sovereignty of Public Administration. We need more governments to collaborate on public software projects to achieve digital sovereignty.

techspot.com

France and Germany unveil Docs, a homegrown alternative to Google Docs

The Trump administration has set out to drastically reshape the relationship between the US and Europe. In response, Brussels is scrambling to adapt to this new reality,...

522094731

Marco Peressotti @mperessotti.bsky.social · 24/04/2025

📢 Workshop on Safe Production in Uncertain Times 📅 24 June at @sdu.dk #Kolding A deep dive at the intersection of #cybersecurity, #geopolitics, and #governance in the context of safe production. 👉 event.sdu.dk/gaa-hjem-moe... 👈 Organised by cyber-smv.dk funded by @industriensfond.bsky.social

SDU Kolding Campus, a modern building with a unique architectural design featuring angular windows and glass facades, situated by a serene water body with reflections of the building and surrounding trees. The image is overlaid with the title of the workshop 'Safe Production in Uncertain Times: Cybersecurity, Geopolitics and Governance. at the top and logos of the organisers and funders at the bottom: SDU, HOLTEC.DK, ODENSE ROBOTICS, INDUSTRIENS FOND, and BUSINESS KOLDING.

021

Reposted by Marco Peressotti

Lukasz Olejnik @lukaszolejnik.bsky.social · 26/03/2025

The EU announced a defence and security preparedness development plan. Good.

26512

Marco Peressotti @mperessotti.bsky.social · 21/03/2025

📢 #AcademicJobs Multiple Computer Science professor positions (all levels) available @sdu.dk 🇩🇰. Assistant and associate positions: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid... Full professor and centre leader position: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid...

131

Marco Peressotti @mperessotti.bsky.social · 28/11/2024

📢 Faculty Job! We're hiring Assistant (tenure-track) & Associate Professors in AI, Cybersecurity & Programming Languages in our research group @sdu.dk 🇩🇰 🔗 About us: acp.sdu.dk 📝 Apply: fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/Candid... ⏳ Deadline: 2025-02-01 #AcademicJobs #ResearchJobs

077

Marco Peressotti @mperessotti.bsky.social · 25/11/2024

I met Valentino Picotti when I supervised his bachelor project and today I'm excited and proud to share that he successfully defended his PhD dissertation "Language Support for #Microservices Development". It's been a pleasure to work with him and be his supervisor together with Fabrizio Montesi.

A picture of Valentino after his defence.

141

Marco Peressotti @mperessotti.bsky.social · 20/11/2024

Project Chords is officially started: an ambitious research initiative to explore the theory and practice of Choreographic Programming on an unprecedented scale. The project's goal is to enhance the effectiveness, transparency, and safety of developing connected digital systems. 👉 chords.dev 👈

chords.dev

Project Chords

Project Chords is a research project that investigates the foundations and applications of Choreographic Programming, a programming paradigm for concurrent and distributed systems.

000