22nd Brazilian Symposium on Formal Methods

• Grant number: 19/12722-7
• Support Opportunities: Organization Grants - Organization of Scientific Meeting
• Start date: November 26, 2019
• End date: November 29, 2019
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Ana Cristina Vieira de Melo
• Grantee: Ana Cristina Vieira de Melo
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil