Conferința FROM 2022 – Working Formal Methods Symposium va avea loc în perioada 19-20 septembrie la Iași, România.
Simpozioane FROM sunt organizate de Facultatea de Matematica si Informatică a Universității din București, Facultatea de Matematică și Informatică a Universității Babeș-Bolyai din Cluj-Napoca, Facultatea de Informatică a Universității Alexandru Ioan Cuza din Iasi, și Facultatea de Matematică și Informatică a Universității de Vest din Timișoara.
Mai multe informații sunt disponibile la următoarele adrese: https://eapls.org/items/3958/ și https://project.inria.fr/from22/
