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