ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada

The rapid rise of Foundation Models like GPT-4 has transformed AI-powered software (AIware), presenting unprecedented opportunities and challenges in Requirements Engineering (RE). This workshop addresses the need to rethink and enhance RE practices to keep pace with AIware’s capabilities. AIware democratizes software creation via natural language prompts, requiring new RE strategies to ensure these systems are fair, transparent, and trustworthy.

RAISE 2025 brings together researchers working on requirements engineering, Software engineering for AI, Human-centered software engineering, and AIware. The aim is to enable cross-pollination and knowledge sharing between those software engineering communities across academia and industry to tackle a critical challenge of our time, engineering AI-powered systems that seemingly collaborate with humans, satisfy stakeholders’ needs, and align with society’s values.

RAISE 2025 provides a venue for researchers and practitioners to exchange and discuss trending views, ideas, state-of-the-art, work in progress, and scientific results highlighting aspects of requirements engineering for AIware. Specifically, RAISE 2025:

  • Brings together the greater community of researchers and practitioners in RE, SE4AI, AIware, and AI4SE in an interactive program that encourages discussion and scholarly debate on how to undertake RE for AIware from interdisciplinary perspectives.

  • Identifies and explores emerging and new research challenges in eliciting, modeling, analyzing, verifying, adapting, and aligning requirements for AIware for and by different researchers, with a variety of expertise and needs.

  • Generates a new research agenda, identifies topics of interest for this community, and how future editions of the workshop may explore these topics.

  • Outlines and deeply discusses changes to SE curriculum with the future of RE for AIware.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

07:00 - 17:00
09:00 - 10:30
Introduction and Industrial KeynoteRAISE at 212
09:00
30m
Other
Welcome and Introduction
RAISE
Amel Bennaceur The Open University, UK, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Ahmed E. Hassan Queen’s University, Bashar Nuseibeh The Open University, UK
09:30
60m
Keynote
Opening Keynote: Safe and Responsible Agent Engineering: A Requirement Engineering (RE) Perspective
RAISE
Qinghua Lu Data61, CSIRO
10:30 - 11:00
10:30
30m
Break
Saturday Morning Break
Catering

11:00 - 12:30
Technical SessionRAISE at 212
Chair(s): Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada
11:00
30m
Paper
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
RAISE
M Zitouni , A: A Anda , S Rajpal , Daniel Amyot University of Ottawa, John Mylopoulos
11:30
30m
Talk
Invited Talk: Leveraging FMs to synthesize intents
RAISE
Keheliya Gallaba Centre for Software Excellence, Huawei Canada
12:00
30m
Other
Discussion
RAISE

12:30 - 14:00
13:15
45m
Lunch
Saturday Lunch
Catering

14:00 - 15:30
Panel: Requirements are all you needRAISE at 212
Chair(s): Bashar Nuseibeh The Open University, UK
14:00
90m
Panel
Requirements are all you need
RAISE
Marsha Chechik University of Toronto, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Foutse Khomh Polytechnique Montréal, Jie M. Zhang King's College London, Bashar Nuseibeh The Open University, UK
15:30 - 16:00
15:30
30m
Break
Saturday Afternoon Break
Catering

16:00 - 17:30
Closing KeynoteRAISE at 212
Chair(s): Amel Bennaceur The Open University, UK
16:00
45m
Keynote
Representing and Reasoning with Non-Functional Requirements: A Retrospective
RAISE
John Mylopoulos University of Ottawa
16:45
15m
Other
Closing
RAISE
Amel Bennaceur The Open University, UK, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Bashar Nuseibeh The Open University, UK, Ahmed E. Hassan Queen’s University
Hide past events

Call for Papers

RAISE 2025 invites submissions for its inaugural workshop focused on rethinking Requirements Engineering (RE) in the context of AI-powered software (AIware). Key topics include:

  • Requirements as Code. Exploring how natural language prompts can effectively specify requirements for AIware, ensuring desired outcomes and avoiding negative impacts.
  • RE for AIware. Establishing new RE practices for the AIware lifecycle, including data and model alignment, cognitive architecture design, and performance engineering.
  • Dual Training of AI Agents and Software Makers. Investigating how to train software makers (i.e., to interact with AI agents and design AI agents to understand and meet user needs.
  • Collaboration Between AIware Agents and Humans. Understanding the interaction dynamics between humans and AIware to improve regulatory compliance, safety, security, and user experience.
  • Rethinking RE Curriculum. Redesigning RE education to prepare the next generation of engineers for the challenges of AIware development.

While these topics are of main interest, we welcome any relevant submissions in the area of RE for AIware.

Types of Submissions

RAISE 2025 accepts the following types of papers and welcomes submissions that promotes forward-looking and innovative ideas:

  • Technical contributions, which concentrate on presenting long research papers in detail and are followed by discussions (8 pages + 2 pages for references, 20 min presentation + 10 min questions).
  • Industrial experience reports which address problems and lessons learned from practice and are accompanied by a summary paper (6 pages + 1 page for references, 15 min presentation + 15 min questions).
  • Discussion-oriented contributions which – facilitated by brief presentations of short research papers – emphasize longer discussions (4-6 pages + 1 page for references, 10 min presentation + 20 min questions)

Submission Instructions

  • All authors who intend to submit a paper must first submit the title, abstract (max. 200 words), and author information. Abstracts are used only to point out your interest in submitting a paper and to allow the co-chairs to match with the committee members early in time. An abstract submission must be followed by a paper submission.
  • Papers must describe original work that has not been previously published or submitted elsewhere.
  • Submissions must be written in English. Submissions must conform to the IEEE conference proceedings template, specified in the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options). For further information and Word/Latex templates, please check the main call for papers.
  • At least one author of each accepted paper must register to and attend the workshop in order to present their paper.
  • The official publication date is the date the proceedings are made available in the ACM or IEEE Digital Libraries. This date may be up to two weeks prior to the first day of ICSE 2025. The official publication date affects the deadline for any patent filings related to published work.” Purchases of additional pages in the proceedings is not allowed.

Submission Link

https://raise24.hotcrp.com/

9:00 - 9:30
Welcome and Introduction
9:30 - 10:30 Opening keynote
Safe and Responsible Agent Engineering: A Requirement Engineering (RE) Perspective - Qinghua Lu
10:30 - 11:00 Break
11:00 - 12:30 Technical Session
  • Paper Presentation: Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. M Zitouni, A: A Anda, S Rajpal, Daniel Amyot, John Mylopoulos
  • Invited Talk: Leveraging FMs to synthesize intents - Keheliya Gallaba
  • Discussion
12:30 - 14:00 Lunch
14:00 - 15:15 Panel: Requirements are all you need
15:15 - 15:45 Break
15:45 - 16:45 Closing Keynote
Representing and Reasoning with Non-Functional Requirements: A Retrospective - John Mylopoulos
16:45 - 17:00 Discussion and Closing