About this event
FormaliSE 2026 serves as an academic conference focusing on the intersection of formal methods and software engineering. It offers an opportunity for researchers and professionals to engage in discussions about improving software quality through formal methods. The event will feature various tracks including keynotes, a research track for presenting papers, and networking sessions aimed at fostering collaboration between academics and practitioners. %0A
When
12-13 April 2026
2 days
Venue
Rio de Janeiro, Brazil
Price
See website