iiinova — where your digital self keeps evolving

ACP Section

@acp.mastodon.acm.org.ap.brid.gy

ACP section @ University of Southern Denmark (SDU) We work on programming languages, cybersecurity, and artificial intelligence. Many of our members are also […] 🌉 bridged from ⁂ mastodon.acm.org/@acp, follow @ap.brid.gy to interact

Posts Replies Media

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 19/01/2026

@fmontesi is presenting the first results and next steps of CSLib – the Lean Computer Science library – at Lean Together tomorrow (20 Jan) at 14:00 CET. The event is online and open to all, so feel free to join if you're curious […] [Original post on mastodon.acm.org]

A poster for a talk. It reads: "CSLib. The Lean Computer Science Library. Lean Together, 20 January 2026. Presenter: Fabrizio Montesi. Director, Professor, FORM CSLib Lead Maintainer. fabriziomontesi.com ; linkedin.com/in/fmontesi. University of Southern Denmark. Centre for Formal Methods and Future Computing. Danish Institute for Advanced Study."

000 0

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 19/01/2026

@fmontesi is presenting the first results and next steps of CSLib – the Lean Computer Science library – at Lean Together tomorrow (20 Jan) at 14:00 CET. The event is online and open to all, so feel free to join if you're curious […] [Original post on mastodon.acm.org]

000 0