Natalia Garanina - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Fri 15 May 2026

Name:Natalia Garanina

Country:Russia

Affiliation:A.P. Ershov Institute of Informatics Systems SB RAS

Contributions

2026

FM

VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education

Show activities from other conferences

FM 2026-profile
View general profile