Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo (RAISE 2025 - : Requirements engineering for AI-powered SoftwarE) - ICSE 2025

Sustainability badge

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

Who

M Zitouni, A Anda, S Rajpal, Daniel Amyot, John Mylopoulos

Track

RAISE 2025 Requirements Engg. for AI-Powered SW

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sat 3 May 2025 11:00 - 11:30 at 212 - Technical Session Chair(s): Gopi Krishnan Rajbahadur

File attachments

Slides (IFIP2025-Symboleo_s1.pptx)	9.4MiB

M Zitouni

A AndaAuthor

S Rajpal

Daniel Amyot

University of Ottawa

Canada

John Mylopoulos

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

	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 File Attached
	11:30 30m Talk		Invited Talk: Leveraging FMs to synthesize intents RAISE Keheliya Gallaba Centre for Software Excellence, Huawei Canada File Attached
	12:00 30m Talk		Invited Talk: Landscape of Requirements Engineering for/by AI through Literature Review RAISE Hironori Washizaki Waseda University File Attached

:

:

:

: