WIPOProtect this trademark from copycats!
With our trademark monitoring alerts, you are automatically notified by email about copycats and free riders.
The International trademark PROVER TRIDENT was filed as Word mark on 04/23/2015 at the World Intellectual Property Organization.
| Trademark form | Word mark |
| File reference | 1269178 |
| Register number | 013537881 |
| Countries | 
|
| Base trademark |
No. 013537881,
April 27, 2015
|
| Application date | April 23, 2015 |
| Expiration date | April 23, 2025 |
Trademark owner
Krukmakargatan 21
118 51 Stockholm
SE
118 51 Stockholm
SE
Trademark representatives
P.O. Box 3690
103 59 STOCKHOLM
SE
goods and services
09
Registered computer programs including computer programs for
verifying systems; computer applications programs for
configuring data processing equipment in accordance with
pre-estalished criteria; generic software modules
implementing decisions procedures, each for a certain logic,
for various safety critical applications for rail control
systems; chips (integrated circuits); data-based computer
aided software engineering (CASE) applications; registered
computer programs for verifying hardware and software
systems
41
Arranging and conducting of seminars; introductory and
advanced courses on integration of computer systems and
general courses related to the application of formal
verification technology; teaching and training on computer
programs; practical training (demonstration)
42
Research and development services regarding new products;
computer programming; updating and verifying of computer
programs; consultations within the area for systems
development and verifying computer systems; research and
development services regarding formal verification
technology; industrial design; engineering services
regarding special software modules including equivalence
checking of combinational circuits (chips) and automated
verification solutions based on model checking techniques
Trademark history
| Date | Document number | Area | Entry |
|---|---|---|---|
| December 17, 2020 | 2020/52 Gaz | US | RAW: Rule 18ter(2)(ii) GP following a provisional refusal |
| April 13, 2020 | 2020/16 Gaz | IN | Rejection |
| September 29, 2019 | 2019/40 Gaz | US | Rejection |
| June 13, 2019 | 2019/33 Gaz | Correction | |
| December 12, 2016 | 2016/51 Gaz | CN | Rejection |
| September 6, 2016 | 2016/37 Gaz | CH | Rejection |
| June 3, 2016 | 2016/24 Gaz | NO | Rejection |
| March 10, 2016 | 2016/12 Gaz | JP | Rejection |
| February 3, 2016 | 2016/6 Gaz | AU | Rejection |
| April 23, 2015 | 2015/40 Gaz | EM | Registration |
ID: 141269178