Machine Learning and NLP group at Trento.

ISoLA 10

Smaller icon

  • International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
  • Amirandes, Heraklion (Crete), October 18–20, 2010.
  • http://isola-conference.org/isola2010/

ISoLA is a forum to discuss issues related to the adoption and use of rigorous tools for the specification analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

EternalS Track contained an introduction to the research being coordinated by EternalS, including the presentation of its Task Forces about EternalS mission and roadmap. For more information see EternalS website.