BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:149@conferencelists.com
DTSTART:20251202T000000Z
DTEND:20251205T000000Z
DTSTAMP:20260104T140844Z
URL:https://www.conferencelists.com/conference/sbmf-2025-28th-brazilian-sy
 mposium-on-formal-methods/
SUMMARY:SBMF 2025: 28th Brazilian Symposium on Formal Methods
DESCRIPTION:SBMF 2025: 28th Brazilian Symposium on Formal Methods will be h
 eld in Recife\, Brazil\, December 2-5\, 2025\n\nSubmissions will centre on
  the following themes\, while also considering additional relevant topics:
  formal methods\, verification and validation.
CATEGORIES:Science, Technology, Engineering, and Mathematics
LOCATION:Brazil\, \, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=\, ;X-APPLE-RADIUS=100;X-TI
 TLE=Brazil:geo:0,0
END:VEVENT
END:VCALENDAR