FormaliSE 2026
Sun 12 - Mon 13 April 2026
Rio de Janeiro, Brazil
co-located with
ICSE 2026
Toggle navigation
Attending
Venue: Windsor Convention Center and Hotels
ICSE 2026
Registration
Visa and Travel Authorization
Code of Conduct
Equity, Diversity, and Inclusion Plan for ICSE 2026
Official Travel Services
Social Events
Sustainability at ICSE 2026
Travel Support
In-Person Conference
Program
FormaliSE Program
Your Program
Sun 12 Apr
Mon 13 Apr
Tracks
FormaliSE 2026
FormaliSE Program
Research Track
Artifact Track
Organization
FormaliSE 2026 Committees
Track Committees
Research Track
Organization Committee
Research Track
Program Committee Chairs
Research Track
Program Committee Members
Research Track
Social Media Chair
Artifact Track
Artifact Evaluation Chairs
Artifact Track
Artifact Evaluation Committee Members
Contributors
People Index
Search
Series
Series
FormaliSE 2026
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2026
(
series
) /
FormaliSE 2026 (
series
) /
Windsor Convention Center and Hotels
/
Room information: Capri VI
Venue
Windsor Convention Center and Hotels
Room name
Capri VI
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-03:00) Brasilia, Distrito Federal, Brazil
.
Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, Brazil
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 10:30
Opening & Keynote
LArc
at
Capri VI
Chair(s):
Thiago Rocha Silva
The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
09:00
15m
Day opening
Welcome to LArc 2026
LArc
Thiago Rocha Silva
The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
,
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
,
Michel Chaudron
Eindhoven University of Technology, The Netherlands
09:15
75m
Keynote
TBA
Keynote
LArc
Juan de Lara
Autonomous University of Madrid
11:00 - 12:30
Low-Code and Modeling
LArc
at
Capri VI
11:00
25m
Talk
Unifying Executable (Process-) Models inside the WAVE Platform
Full Paper
LArc
Sebastian Teumert
,
Daniel Sami Mitwalli
11:25
25m
Talk
AI-Assisted Modeling: DSL-Driven AI Interactions
Full Paper
LArc
Steven Smyth
,
Daniel Busch
,
Moez Ben Haj Hmida
,
Edward Lee
University of California at Berkeley
,
Bernhard Steffen
TU Dortmund
11:50
15m
Talk
Towards Multimodal Entity Linking for LLM-based Metamodel Generation
Short Paper
LArc
Bernhard Schenkenfelder
Software Competence Center Hagenberg (SCCH)
,
Manuel Wimmer
JKU Linz
12:05
25m
Live Q&A
Flipped Q&A with Authors
LArc
14:00 - 15:30
Low-Code and Architecture
LArc
at
Capri VI
Chair(s):
Michel Chaudron
Eindhoven University of Technology, The Netherlands
14:00
25m
Talk
Domain Specific Language for Service-oriented Aerospace Environments
Full Paper
LArc
Jacopo Rossi
,
Georgi Todorov Dimitrov
,
Flavia Monti
,
Francesco Leotta
,
Massimo Mecella
Università di Roma Sapienza
14:25
25m
Talk
Verification-Centered Low-Code for Autonomous Robots: A Contract-Based Reference Architecture Approach
Full Paper
LArc
Felipe Xavier
TU Eindhoven
,
Loek Cleophas
Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
14:50
15m
Talk
Integrating Machine Learning into Additive Manufacturing through Service-Oriented and Low-Code Architectures
Short Paper
LArc
Cathal Hoare
,
Stephen Ryan
15:05
25m
Live Q&A
Flipped Q&A with Authors
LArc
16:00 - 17:30
Panel & Closing
LArc
at
Capri VI
Chair(s):
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
16:00
75m
Panel
What's Next on Low-Code Development?
LArc
Michel Chaudron
Eindhoven University of Technology, The Netherlands
17:15
15m
Day closing
LArc 2026 Closing
LArc
Thiago Rocha Silva
The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
,
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
,
Michel Chaudron
Eindhoven University of Technology, The Netherlands
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Capri VI
LArc
Opening & Keynote
LArc
Low-Code and Modeling
LArc
Low-Code and Architecture
LArc
Panel & Closing
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Capri VI
LArc
Welcome to LArc 2026
09:00 - 09:15
LArc
Keynote
TBA
09:15 - 10:30
LArc
Full Paper
Unifying Executable (Process-) Models inside the WAVE Platform
11:00 - 11:25
LArc
Full Paper
AI-Assisted Modeling: DSL-Driven AI Interactions
11:25 - 11:50
LArc
Short Paper
Towards Multimodal Entity Linking for LLM-based Metamodel Generation
11:50 - 12:05
LArc
Flipped Q&A with Authors
12:05 - 12:30
LArc
Full Paper
Domain Specific Language for Service-oriented Aerospace Environments
14:00 - 14:25
LArc
Full Paper
Verification-Centered Low-Code for Autonomous Robots: A Contract-Based ...
14:25 - 14:50
LArc
Short Paper
Integrating Machine Learning into Additive Manufacturing through Servic ...
14:50 - 15:05
LArc
Flipped Q&A with Authors
15:05 - 15:30
LArc
What's Next on Low-Code Development?
16:00 - 17:15
LArc
LArc 2026 Closing
17:15 - 17:30
x
Sat 7 Mar 07:31