INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2018
M T W T F S S
« Nov    
 123456
78910111213
14151617181920
21222324252627
28293031  

 
  • 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.

Leave a Reply

You must be logged in to post a comment.