iiinova — where your digital self keeps evolving

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 08/06/2026

From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations") […]

mastodon.acm.org

Original post on mastodon.acm.org

001

Reposted by ACP Section

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 14/05/2026

**Towards a Higher-Order Bialgebraic Denotational Semantics** by Sergey Goncharov, @mperessotti@mastodon.social, @stelios@mathstodon.xyz, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below :Blobhaj_Read_Octopus: #icfp #functionalProgramming […]

blahaj.zone

Original post on blahaj.zone

001

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 07/05/2026

From 11:00 to 12:00 on Thursday, May 28, the PLSL reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler. plsl.acp.sdu.dk/posts/2025-05-28-pr… #PLSL […]

mastodon.acm.org

Original post on mastodon.acm.org

000

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 22/04/2026

From 11:00 to 12:00 on Thursday, April 30, the PLSL reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi. plsl.acp.sdu.dk/posts/2026-04-30-ab… #PLSL #syntax #programmingLanguages […]

mastodon.acm.org

Original post on mastodon.acm.org

011

Reposted by ACP Section

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 07/04/2026

Is anybody I know going to **CMCS (Coalgebraic Methods in Computer Science)** in Turin this year? It is co-located with @ETAPSconf@mastodon.education. On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti@mastodon.social […]

blahaj.zone

Original post on blahaj.zone

101

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 23/03/2026

Gianluca Caiazza (orcid.org/0000-0002-2820-7121) has joined the ACP section! He will serve as Assistant Professor at the new campus in Vejle. His field of expertise is industrial network edge cybersecurity. #infosec #security #industrialSecurity #edgeSecurity

orcid.org

ORCID

000

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 16/03/2026

Antonino Fabio Coppola started his PhD at the ACP section under Valentina Lenarducci! He is going to work on the use of AI, including AI Agents, for Software Development and Quality. #artificialIntelligence #softwareDevelopment #softwareQuality

012

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 02/03/2026

Anna Blume Jakobsen (www.daracademy.dk/current-fellows/a…) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation. #choreographicProgramming […]

mastodon.acm.org

Original post on mastodon.acm.org

011

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

RE: mastodon.acm.org/@acp/1159214539094… The recording for @fmontesi's Lean Together talk, "CSLib: The Lean Computer Science Library", is now online: inv.nadeko.net/KfIZn2zH8CA #CSLib #LeanProver

010

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

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar. plsl.acp.sdu.dk/posts/2026-02-17-an… #PLSL #algebraicEffects #effectSystems #semantics […]

mastodon.acm.org

Original post on mastodon.acm.org

011

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

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 02/12/2025

From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLSL reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, π-Calculus, internal mobility, and agent-passing […]

mastodon.acm.org

Original post on mastodon.acm.org

021

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 28/11/2025

This year, PhD candidates from the ACP section are helping our (under)graduate students with the Advent of Code challenges by @ericwastl. Don't forget: programming is done best when it brings joy to you and to your community! During the week, we offer "office hours" from 4pm to 6pm in the local […]

mastodon.acm.org

Original post on mastodon.acm.org

021

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 17/11/2025

Venla Tuuli Sabina Liljas started her PhD at the ACP section under Davide Taibi! She is going to work on the use of AI, including AI Agents, for Software Architecture. #softareArchitecture #artificialIntelligence

010

Reposted by ACP Section

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 15/11/2025

The PhD students of our section just started PLSL (/ˈpləs-əl/, like the Pokémon!), the reading group on Programming Languages, Semantics, and Logic! Read more on the "About" page of the PLSL website (RSS and ICAL available!). plsl.acp.sdu.dk/about From 13 to 14 on December 1, sections […]

mastodon.acm.org

Original post on mastodon.acm.org

001

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 17/11/2025

"Like parsley in Greek food: Elementary set theory and the case for DM1" by Siddharth Bhaskar (dblp.org/pid/170/0077.html) got accepted at SIGCSE TS 2026 […]

mastodon.acm.org

Original post on mastodon.acm.org

011

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 15/11/2025

mastodon.acm.org

Original post on mastodon.acm.org

001

Reposted by ACP Section

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 11/11/2025

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~ The first positions at the Centre for Formal Methods and Future Computing (FORM, www.sdu.dk/form) are here! You'll work on the formalisation of computer science as part of a global initiative, CSLib, in […]

mastodon.acm.org

Original post on mastodon.acm.org

112

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 12/11/2025

To apply: ~ Postdoctoral Fellowships in Formal Methods and Programming Languages ~ fa-eosd-saasfaprod1.fa… ~ Tenure-track Assistant Professorships and Associate Professorships in Formal Methods ~ fa-eosd-saasfaprod1.fa… (3/3)

011

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 11/11/2025

We're looking for researchers passionate about formal methods, theorem proving, and programming languages. We want to push the boundaries of verified computing and make it a viable mainstream technology for the future of computing research and everyday software development. 🌍 Locations: Odense […]

mastodon.acm.org

Original post on mastodon.acm.org

121

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 11/11/2025

mastodon.acm.org

Original post on mastodon.acm.org

112

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 08/11/2025

Valentina Lenarduzzi (valentinalenarduzzi.it) joined the ACP section as Vice Head and Professor! Her fields of expertise are empirical software engineering, software quality, and software maintenance and evolution. #software #softwareEngineering #softwareQuality

010

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 07/11/2025

Davide Taibi (www.taibi.it) joined the ACP section! He will be a Professor in Software Architecture at the new Vejle Campus. #software #softwareArchitecture #Vejle

taibi.it

Davide Taibi – Cloud Software Architecture Professor

021

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 06/11/2025

@fmontesi will be the first director of the new Centre for Formal Methods and Future Computing (FORM)! Among other things, the Centre will work on the development of Lean's CS Library, where Fabrizio already serves as a member of the steering committee. Interested in research in formal […]

mastodon.acm.org

Original post on mastodon.acm.org

000

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 05/11/2025

Hello, friend! This is the #introduction post for the ACP section, which works on #artificialIntelligence, #cybersecurity, and #programmingLanguages at the University of Southern #Denmark. It's dangerous to go alone! Take this… ❬ ACP #starterPack ❭ for your trip on the #Fediverse! Use […]

mastodon.acm.org

Original post on mastodon.acm.org

031