Serial Number
85205708
Owner
Aries Design Automation, LLCFirst Use Date
Jun 1, 2005
Filing Date
Dec 26, 2010
ARIES DESIGN AUTOMATION Trademark
Serial Number: 85205708 • Registration: 4062490
Trademark Classes
Owner Contact Info
Trademark Details
Filing Date
December 26, 2010
Registration Date
November 29, 2011
First Use Anywhere
June 1, 2005
First Use in Commerce
June 1, 2005
Published for Opposition
September 13, 2011
Cancellation Date
July 2, 2018
Goods & Services
Design and development of computer software technologies for use in the fields of formal verification of hardware and software, electronic design automation, cyber security, Boolean satisfiability, solving of constraint satisfaction problems, planning, scheduling, and other computer science and computer engineering applications; Design and development of computer hardware and software; Computer hardware and software consulting services
