Encoding BDI Syntax with Theories in Event-B (FM 2026 - ABZ)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Mengwei Xu, Peter Riviere, Toshiaki Aoki, Marie Farrell, Yamine Ait Ameur, Neeraj Singh, Guillaume Dupont

Track

FM 2026 ABZ

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Save

When

Tue 19 May 2026 17:35 - 18:00 at 2F Conf Room 4 - ABZ Session 4: Autonomy Chair(s): Regine Laleau

Mengwei Xu

University of Newcastle

United Kingdom

Peter Riviere

Japan Advanced Institute of Science and Technology (JAIST)

Japan

Toshiaki Aoki

JAIST

Japan

Marie Farrell

The University of Manchester

United Kingdom

Yamine Ait Ameur

IRIT/INPT-ENSEEIHT

France

Neeraj Singh

INPT-ENSEEIHT / IRIT, University of Toulouse, France

France

Guillaume Dupont

INPT–ENSEEIHT

France

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

17:35 - 18:40	ABZ Session 4: AutonomyABZ at 2F Conf Room 4 Chair(s): Regine Laleau Paris Est Creteil University

17:35 25m Talk		Encoding BDI Syntax with Theories in Event-B ABZ Mengwei Xu University of Newcastle, Peter Riviere Japan Advanced Institute of Science and Technology (JAIST), Toshiaki Aoki JAIST, Marie Farrell The University of Manchester, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Neeraj Singh INPT-ENSEEIHT / IRIT, University of Toulouse, France, Guillaume Dupont INPT–ENSEEIHT
18:00 25m Talk		Fuzzing executable ASMETA models ABZ Gabriele Bellini University of Milan, Elvinia Riccobene Computer Science Dept., University of Milan
18:25 15m Talk		Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems ABZ Asieh Salehi Fathabadi University of Southampton, Sebastian Stein University of Southampton