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.

https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/

#plsl #algebraiceffects #effectsystems #semantics […]

@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]

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 […]

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 […]

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

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!).

https://plsl.acp.sdu.dk/about

From 13 to 14 on December 1, sections […]

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

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!).

https://plsl.acp.sdu.dk/about

From 13 to 14 on December 1, sections […]

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~

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

~ Academic Positions in Formal Methods (postdoc, assistant prof., associate prof.) ~

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

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

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

#software #softwarearchitecture #vejle

@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 […]

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 […]