Call for Participation

Dear colleagues,

It is with great pleasure that we invite the scientific and industry community to participate in

CBSoft 2025 – Brazilian Conference on Software: Practice and Theory, which will be held in Recife, Brazil, from September 22nd to 26th. The program is ready, and the organizing team is waiting for you to further enrich the event.

Program: https://cbsoft.sbc.org.br/2025/cbsoft/programacao/?lang=pt

Registration: https://cbsoft.sbc.org.br/2025/inscricoes/?lang=pt

Kiev Gama and Vinícius Garcia

CBSoft 2025 General Chairs

—————————————

Keynotes in the Brazilian Symposium on Software Engineering (SBES 2025)

Lionel Briand – University of Ottawa and Lero

Title: Automated Testing and Safety Analysis of Deep Learning Systems

Wednesday, September 24, 2025, at 9:00 a.m.

Sarah Nadi – New York University Abu Dhabi

Title: Software Dependencies: Then, Now, and Beyond

Thursday, September 25, 2025, at 9:00 a.m.

Rohit Gheyi – Universidade Federal de Campina Grande

CEES Honored Researcher

Title: Refactoring: Challenges, Lessons, and AI Opportunities

Friday, September 26, 2025, at 9:00 a.m.

SBES 2025 Panel

Theme: Navigating AI's Impact on Software Quality and Production

Thursday, September 25, 2025, at 2:00 p.m.

Moderator: Fabio Kon – IME-USP

Panelist: Lionel Briand – University of Ottawa and Lero

Panelist: Armando Fox –  University of California at Berkeley

Panelist: Sarah Nadi –  New York University Abu Dhabi

Industry Panel

Theme: Secure Software Development

Monday, September 22, 2025, at 4:00 p.m.

Moderator: César França- Universidade Federal Rural de Pernambuco

Panelist: Fábio Maia – CESAR/CISSA

Panelist: Leon Júnior – Bradesco

Keynote in the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2025)

Mathieu Acher – University of Rennes/IRISA/Inria

Title: Software Variability for Replicable Science

Tuesday, September 23, 2025, at 9:00 a.m.

Keynote in the Brazilian Symposium on Systematic and Automated Software Testing (SAST 2025)

Márcio Ribeiro – Universidade Federal de Alagoas

Title: An LLM a Day Keeps Manual Testing OK: Using Large Language Models to Generate and Maintain Manual Tests

Monday, September 22, 2025, at 9:00 a.m.

Keynotes in the Brazilian Symposium on Programming Languages (SBLP 2025)

Rafael Dueire Lins – Universidade Federal Rural de Pernambuco and Universidade Federal de Pernambuco

CELP Honored Researcher

Title: When re-boot unfreezes a computer

Wednesday, September 24, 2025, at 4:00 p.m.

Sandrine Blazy – University of Rennes

Title: From operational semantics to verified compilation: mechanized reasoning on realistic languages in the CompCert compiler

Thursday, September 25, 2025, at 11:00 a.m.

Keynotes in the Brazilian Workshop on Intelligent Software Engineering (ISE 2025)

Rodrigo Vilar – VIRTUS

Title: Using LLMs to Drive Agile Project Intelligence at VIRTUS/UFCG

Tuesday, September 23, 2025, at 9:00 a.m.

Roberta Arcoverde – Google

Title: Safe AI and AI-powered Safety

Tuesday, September 23, 2025, at 11:00 a.m.

Keynote in the Workshop on Software Engineering for Game Development (SE4Games 2025)

Esteban Clua – Universidade Federal Fluminense

Title: Game Development in the Context of Software Engineering and Impacts in the Era of Generative AI

Tuesday, September 23, 2025, at 2:00 p.m.

SE4Games 2025 Panel

Theme: AI and the Future of Game Development

Tuesday, September 23, 2025, at 4:50 PM – 5:20 PM

Panelist: Tulio Caraciolo – Geppetto & Manifesto Games

Panelist: Nabor Mendonça – Universidade de Fortaleza

Keynote in the Workshop on Software Engineering for Digital Twins (SEDT 2025)

Pablo Oliveira Antonino – Fraunhofer Institute for Experimental Software Engineering (IESE)

Title: Engineering Physical AI through Digital Twins and Simulation-based System Validation

Tuesday, September 23, 2025, at 2:10 p.m.

Keynote in the Workshop on Software Engineering for Functional Programming (SE4FP 2025)

Paulo Valente – Nx Core Team

Title: How Functional Programming Transforms Systems Design

Tuesday, September 23, 2025, at 9:00 a.m.

SE4FP 2025 Panel

Theme: Roundtable discussion: future directions of research in SE4FP

Tuesday, September 23, 2025, at 12:00 p.m.

Moderator: Adolfo Neto – Universidade Tecnológica Federal do Paraná

Panelist: José Valim (Dashbit) – remotely 

Panelist: Carla Bezerra – Universidade Federal do Ceará

Panelist: João Brunet – Universidade Federal de Campina Grande 

Panelist: Paulo Valente – Nx Core Team