Tuesday 15 July 2025
EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:
- Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices, by Luís Cruz, João Paulo Fernandes, Maja H. Kirkeby, Silverio Martínez-Fernández, June Sallou, Hina Anwar, Enrique Barba Roque, Justus Bogner, Joel Castaño, Fernando Castor, Aadil Chasmawala, Simão Cunha, Daniel Feitosa, Alexandra González, Andreas Jedlitschka, Patricia Lago, Ana Oprescu, Pooja Rani, João Saraiva, Federica Sarro, Raghavendra Selvan, Karthik Vaidhyanathan, Roberto Verdecchia, Ivan P. Yamshchikov, Henry Muccini. Accepted at ACM SIGSOFT Software Engineering Notes, 2025.
- Best Paper Award, for Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems, by Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt. Won at the 18th International Conference on Graph Transformation (ICGT 2025).
