The kick-off was held on April 14^th 2025, with all the partners. We are all expecting to recruit the non-permanent staff for the project (3 PhDs and 2 Engineers). 😃

• WP1 : A Generic Clock Model for Event-B
• WP2 : Parametric-Timed Automata for Event-B
• WP3 : A Hierarchical-Time Model for Event-B
• WP4 : A new time-based methodology for Event-B and ASTD.

We are very happy to announce that the project TAPAS has been accepted by ANR as part of AAPG 2024. 😃

• Start: April, 1^st 2025
• Duration: 4 years
• Id: ANR-24-CE25-5742
• Funding: PRC