News

Local archive (for news prior to September 2025)

• 2025-08-28 ACP Section @acp

  Stefano Volpe joins ACP as new PhD Student working on foundations of programming languages under the supervision of Stelios Tsampas and Marco Peressotti.

• 2025-08-19 ACP Section @acp

  Alessio Pellegrino joins ACP as new PhD Student working on using AI to improve the solving of hard combinatorial problems building better algorithm portfolios under the supervision of Jacopo Mauro.

• 2025-06-21 ACP Section @acp

  Sandra received a Best Reviewer Award for her PC service at the EASE 2025 conference.

• 2025-06-02 ACP Section @acp

  Robin will give an invited talk in the special session on quantum computing at Computability in Europe 2025.

• 2025-06-02 ACP Section @acp

  Robin will give an invited talk in the special session on quantum computing at Computability in Europe 2025.

• 2024-12-19 ACP Section @acp

  Narongrit shares his experience at Thammasart University Lampang campus in a session hosted by Worawan (Marurngsith) Diaz Carballo during his visit at Lampang.

• 2024-12-19 ACP Section @acp

  The paper 'Formulas as Processes, Deadlock-Freedom as Choreographies' by Matteo Acclavio, Giulia Manara, and Fabrizio Montesi has been accepted at ESOP 2025!

• 2024-12-13 ACP Section @acp

  Sandra serves as Research Track Chair at the 29th ACM International Systems and Software Product Line Conference SPLC 2025.

• 2024-11-30 ACP Section @acp

  Sandra co-organizes the Transformation Tool Contest 2025 and the 9th SECPPS Workshop

• 2024-11-25 ACP Section @acp

  Valentino Picotti successfully defended his PhD Thesis on "Language Support for Microservices Development".

• 2024-11-18 ACP Section @acp

  The paper 'A Conceptual Framework for API Refactoring in Enterprise Application Architectures' by Fabrizio Montesi, Marco Peressotti, and Valentino Picotti has been accepted at ESOCC 2025!

• 2024-11-15 ACP Section @acp

  Siddharth Bhaskar will teach a course Model theory for phonology at ESSLLI 2025.

• 2024-11-01 ACP Section @acp

  Casper Midtgaard Bach joins ACP as new assistant professor, enriching the section with his expertise in programming languages and formal methods.

• 2024-10-10 ACP Section @acp

  Sandra Greiner and Siddharth Bhaskar join ACP as new assistant professors, enriching the section with their expertise in software evolution and fundamental theory at the boundary of algorithms and programming languages.

  Read the full news...
• 2024-10-07 ACP Section @acp

  The paper 'Choreography-Defined Network - A Case Study in DoS Mitigation' by Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, and Marco Prandini has been accepted at ICSOC 2024!

• 2024-10-07 ACP Section @acp

  The paper 'A Toolchain for Checking Domain- and Model-driven Properties of Jolie Microservices' by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, and Philip Wizenty has been accepted at ICSOC 2024!

• 2024-09-05 ACP Section @acp

  The paper Given an Inch and Take a Mile: Effects of Adding Reliable Knowledge to Heuristic Feature Tracing by Sandra Greiner, Alexander Schultheiss, Paul M. Bittner, Thomas Thüm, and Timo Kehrer was awarded Best Paper at SPLC 2024.

• 2024-08-22 ACP Section @acp

  The paper Automated Generation of Code Contracts -- Generative AI to the Rescue? by Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, and Timo Kehrer got accepted at GPCE 2024.

• 2024-08-13 ACP Section @acp

  The paper How to Bake a Quantum Pi by Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry will appear at ICFP 2024!

• 2024-08-13 ACP Section @acp

  The JFP paper Alice or Bob?: Process polymorphism in choreographies by Eva Graversen, Andrew Hirsch, and Fabrizio Montesi will be presented at ICFP 2024!

• 2024-07-11 ACP Section @acp

  The paper 'Ozone: Fully Out-of-Order Choreographies' (pre-print) has been accepted at ECOOP 2024!

• 2024-07-09 ACP Section @acp

  The new ACP website is online!

• 2024-01-16 ACP Section @acp

  The paper Choral: Object-oriented Choreographic Programming by Saverio Giallorenzo, Fabrizio Montesi, and Marco Peressotti has been published in TOPLAS!