INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

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