PROVER

What this means for you

Registered since 16 Feb 2021. The owner can stop confusingly similar uses in the classes it covers.

Record

Serial number

79271680

Registration number

6268783

Mark type

Word mark

Filed

04 Jul 2019

Published for opposition

21 Jul 2020

Registered

16 Feb 2021

Attorney of record

Allison Strickland Ricketts

Goods and services

• Class 009 — Scientific and electric apparatus: 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 — Scientific and technological 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

Owner

• Prover Technology AB, SE
• Prover Technology AB, SE
• Prover Technology AB, SE

Prior registrations

• Registration 2682309
• Registration 2703650

Prosecution history

• 16 Feb 2026 — COURTESY REMINDER - SEC. 71 (6-YR) E-MAILED
• 28 Oct 2022 — NEW REPRESENTATIVE AT IB RECEIVED
• 07 Jun 2021 — FINAL DECISION TRANSACTION PROCESSED BY IB
• 18 May 2021 — FINAL DISPOSITION NOTICE SENT TO IB
• 18 May 2021 — FINAL DISPOSITION PROCESSED
• 16 May 2021 — FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
• 16 Feb 2021 — REGISTERED-PRINCIPAL REGISTER
• 12 Jan 2021 — EXTENSION OF TIME TO OPPOSE PROCESS - TERMINATED
• 19 Aug 2020 — EXTENSION OF TIME TO OPPOSE RECEIVED
• 31 Jul 2020 — NOTIFICATION PROCESSED BY IB
• 21 Jul 2020 — OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
• 21 Jul 2020 — PUBLISHED FOR OPPOSITION
• 15 Jul 2020 — NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB
• 15 Jul 2020 — NOTICE OF START OF OPPOSITION PERIOD CREATED, TO BE SENT TO IB
• 01 Jul 2020 — NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED