Animation and exchanges in the Petri Nets community

[address@concealed]

    ------------------------------------------------------------------------
    Call for artifact evaluation committee members
    ------------------------------------------------------------------------
    27th International Symposium on Formal Methods (FM 2026)
    18-22 May 2026
    Tokyo, Japan
    
    https://conf.researchr.org/home/fm-2026
    
    ------------------------------------------------------------------------
    
    The FM 2026 Artifact Evaluation Committee (AEC) is looking for nominations and self-nominations for committee members. If you are a PhD student, postdoctoral researcher, associate, or professor working in formal methods, we encourage you to apply.
    Serving on the AEC is an excellent opportunity to contribute to the community and gain valuable experience in artifact evaluation.
    
    --------------------------------------
    Important dates (All deadlines are AoE)
    --------------------------------------
    
    FM papers notification: 6 February 2026
    Artifact abstract submission deadline: 10 February 2026
    Artifact submission deadline: 13 February 2026
    Artifact bidding: 10-14 February 2026
    Artifact attribution to AEC members: 14 February 2026
    Kick-the-tires review deadline & rebuttal phase: 23-27 February 2026
    Artifact AEC discussion: 16-23 March 2026
    Artifact notification: 23 March 2026
    
    ------------------------------------------------------------------------
    
    To nominate yourself or someone else, please complete the following form preferably by 15th December 2025.
    
    Form: https://lipn.univ-paris13.fr/limesurvey/index.php/965758?lang=en
    
    It is hard to estimate the number of artifacts we will receive, but we will do our best to limit the number of artifacts per AEC member to 3.
    
    For any questions, please do not hesitate to contact us.
    
    FM 2026 Artifact Evaluation Co-Chairs
    Étienne André and Masaki Waga
    https://lipn.univ-paris13.fr/~andre/
    https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
-- 
Étienne André
Nantes Université
https://lipn.univ-paris13.fr/~andre/