Specializing anti-unification for interaction models composition via gate connections (FM 2026 - Research Track)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe

Track

FM 2026 Research Track

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

Fri 22 May 2026 15:05 - 15:30 at 2F Conference Room - Session 9: Automata & Reactive Models Chair(s): Nikolai Kosmatov

Joel Nguetoum

CEA

France

Boutheina Bannour

CEA

France

Pascale Le Gall

CentraleSupelec

France

Erwan Mahe

CEA

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

Fri 22 May
Displayed time zone: Osaka, Sapporo, Tokyo change

13:50 - 15:30	Session 9: Automata & Reactive ModelsResearch Track at 2F Conference Room Chair(s): Nikolai Kosmatov Thales Research & Technology

13:50 25m Talk		Asynchronous Team Automata Research Track Davide Basile CNR-ISTI, Maurice ter Beek CNR-ISTI Pisa, Italy, José Proença CISTER & Faculty of Sciences, University of Porto
14:15 25m Talk		Error-awareness Accelerates Active Automata Learning Research Track Loes Kruger Radboud University, Sebastian Junges Radboud University, Jurriaan Rot Radboud University Nijmegen
14:40 25m Talk		Pacing Types for Asynchronous Stream Equations Research Track Arthur Correnson CISPA Helmholtz Center for Information Security, Florian Kohn CISPA, Jan Baumeister CISPA Helmholtz Center for Information Security, Bernd Finkbeiner CISPA Helmholtz Center for Information Security
15:05 25m Talk		Specializing anti-unification for interaction models composition via gate connections Research Track Joel Nguetoum CEA, Boutheina Bannour CEA, Pascale Le Gall CentraleSupelec, Erwan Mahe CEA