REGISTERED
on 16 Feb 2021
Last Applicant/ Owned by
SE-118 51 Stockholm
SE
Serial Number
79271680 filed on 04th Jul 2019
Registration Number
6268783 registered on 16th Feb 2021
Correspondent Address
Allison Strickland Ricketts
Filing Basis
No Filing Basis
Disclaimer
NO DATA
PROVER
Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification Register Read More
Classification Information
Class [009]
Computer & Software Products & Electrical & Scientific Products
Registered computer programs, namely, recorded software based tools for configuring, developing and verification of other software; registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic for safety critical applications; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems
Class [041]
Education and Entertainment Services
Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification
Class [042]
Computer & Software Services & Scientific Services
Research and development services regarding new products in the field of computer programming and safety verification; computer programming; updating and verifying of computer programs for third parties; consultancy in the field of systems development and verification of computer systems; research and development services in the field of formal verification technology; industrial design; engineering services related to special software modules, namely, equivalence checking of combinational circuits being chips and design and development of automated verification solutions based on model checking techniques; rental of computer software; all of the foregoing relating to software for configuring, developing and verification of other software
Mark Details
Serial Number
No 79271680
Mark Type
No Service Mark
Attorney Docket Number
No PTAB 2003119
44D Filed
No
44D Current
No
44E filed
No
44E Current
No
66A Filed
No
66A Current
No
Current Basis
No
No Basis
No
Legal History
| Status Date | Action Taken |
|---|---|
| 07th Jun 2021 | FINAL DECISION TRANSACTION PROCESSED BY IB |
| 18th May 2021 | FINAL DISPOSITION NOTICE SENT TO IB |
| 18th May 2021 | FINAL DISPOSITION PROCESSED |
| 16th May 2021 | FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB |
| 16th Feb 2021 | REGISTERED-PRINCIPAL REGISTER |
| 12th Jan 2021 | EXTENSION OF TIME TO OPPOSE PROCESS - TERMINATED |
| 19th Aug 2020 | EXTENSION OF TIME TO OPPOSE RECEIVED |
| 31st Jul 2020 | NOTIFICATION PROCESSED BY IB |
| 21st Jul 2020 | OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED |
| 21st Jul 2020 | PUBLISHED FOR OPPOSITION |