The trademark application FormalDoublePASS was filed by Onespin Solutions GmbH, a corporation established under the laws of the Federal Republic of Germany (the "Applicant"). The application was published for oppositions on September 16, 2007, and it was registered by office on March 26, 2008 without any oppositions.
It was designated 'Basic Application' for International Application 0891855 at the World Intellectual Property Organization (WIPO).
The application was filed in English (German was selected as the second language).
The renewal of the trademark was recorded by the office on January 14, 2017.
of the trademark registration was recorded on January 14, 2017. Appointment and Replacement of representative of the trademark registration was recorded on April 2, 2014.
Goods And Services
The mark was filed in class 9 with following description of goods:
Scientific, measuring, signalling, and checking (supervision) apparatus and instruments
Apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity
Data carriers, recording discs
Data processing equipment and computers
Computer apparatus and software for processing data
Computer hardware and computer software for use in the field of semiconductor production, in particular for verification purposes
Verification software and devices, in particular in the field of semiconductor production
Formal verification software.
The mark was filed in class 41 with following description of goods:
Education
Providing of training
Arranging and conducting of workshops and training courses
Computer training.
The mark was filed in class 42 with following description of goods:
Scientific and technological services and research and design relating thereto
Industrial analysis and research services
Design and development of computer hardware and software
Development of verification software
Licensing of computer software, in particular verification software
Providing of computer software technical support services
Application engineering
Creation, leasing, hiring and renting out of computer software for the formal verification of semiconductors and other technical components as well as the provision of hardware verification services.