FormaliSE 2025 - Intern. Conf. on Formal Methods in Software Engineering (Event)

Activity: Membership/Function › Program committee

Period01 Apr 2025 → 28 Apr 2025
Event titleFormaliSE 2025 - Intern. Conf. on Formal Methods in Software Engineering
Event typeConference
Conference number13
LocationOttawa, Canada, OntarioShow on map
Degree of RecognitionInternational

Fields of science

  • 102031 Theoretical computer science
  • 603109 Logic
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence
  • 202006 Computer hardware
  • 102 Computer Sciences

UN SDGs

This activity contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure