INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2015
M T W T F S S
« Apr   Jun »
 123
45678910
11121314151617
18192021222324
25262728293031

 
  • INES/UFRN researcher co-organizes international software competition

    (0)
    Publicado em May 8th, 2015Uncategorized

    Prof David Déharbe, from the ForAll/INES research group, and affiliated to UFRN, co-organizes the 2015 edition of SMT-COMP, the competition for Satisfiability Modulo Theory Solvers, together with Tjark Weber (Uppsala University, Sweden) and Sylvain Conchon (Paris-Sud University, France).

    The competition will take place during the annual SMT Workshop, affiliated to CAV 2015 (27th International Conference on Computer Aided Verification), in San Francisco (USA), from July 18th to July 19th. The results of the competition will be presented both at the workshop and at the main conference.

    See more: SMT-COMP 2015SMT Workshop 2015CAV’2015.