Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone (FM 2026 - Workshop: FMTea) - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Manel Barkallah, Jean-Marie Jacquet

Track

FM 2026 Workshop: FMTea

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

When

Tue 19 May 2026 16:00 - 16:25 at 2F Room 201-203 - FMTea Session 2 Chair(s): Graeme Smith

File attachments

Slides (TS2P1 - Learning Formal Methods through Project-Based Modeling ofConcurrent Systems with Anemone.pdf)	199KiB

Manel Barkallah

University of Namur

Jean-Marie Jacquet

University of Namur

Belgium

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

Session Program

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

	16:00 - 17:20	FMTea Session 2Workshop: FMTea at 2F Room 201-203 Chair(s): Graeme Smith The University of Queensland

	16:00 25m Talk		Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone Workshop: FMTea Manel Barkallah University of Namur, Jean-Marie Jacquet University of Namur File Attached
	16:25 25m Talk		Teaching Frama-C for Cybersecurity Workshop: FMTea Julien Signoles Université Paris-Saclay, CEA, List File Attached
	16:50 25m Talk		VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education Workshop: FMTea Sergey Staroletov Polzunov Altai State Technical University, Dmitry Kondratyev A.P. Ershov Institute of Informatics Systems SB RAS, Vladimir Shelekhov A.P. Ershov Institute of Informatics Systems SB RAS, Alexander Kogtenkov Kaspersky Lab, Nikolay Shilov Innopolis University, Natalia Garanina A.P. Ershov Institute of Informatics Systems SB RAS, Irina Shoshmina Peter the Great St. Petersburg Polytechnic University, Timofey Cherganov RusBITech-Astra LLC, Vasil Dyadov Kaspersky Lab File Attached