PROVER Trademark

Trademark Overview


On Thursday, July 4, 2019, a trademark application was filed for PROVER with the United States Patent and Trademark Office. The USPTO has given the PROVER trademark a serial number of 79271680. The federal status of this trademark filing is REGISTERED as of Tuesday, February 16, 2021. This trademark is owned by Prover Technology AB. The PROVER trademark is filed in the Computer & Software Products & Electrical & Scientific Products, Education & Entertainment Services, and Computer & Software Services & Scientific Services categories with the following description:

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

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

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
prover

General Information


Serial Number79271680
Word MarkPROVER
Filing DateThursday, July 4, 2019
Status700 - REGISTERED
Status DateTuesday, February 16, 2021
Registration Number6268783
Registration DateTuesday, February 16, 2021
Mark Drawing5000 - Drawing with word(s) / letter(s) / number(s) in Stylized form
Published for Opposition DateTuesday, July 21, 2020

Trademark Statements


Goods and ServicesArranging 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
Description of MarkThe mark consists of the wording "PROVER" in the color blue with a shaded blue rectangle inside the letter "O", the letter "O" being broken in half at the top and the bottom.
Goods and ServicesRegistered 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
Section 2(f) Limitation StatementAs to "PROVER" AS TO INTERNATIONAL CLASS 9
Indication of Colors claimedThe color(s) blue is/are claimed as a feature of the mark.
Goods and ServicesResearch 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

Classification Information


International Class009 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; apparatus for recording, transmission or reproduction of sound or images; magnetic data carriers, recording discs; automatic vending machines and mechanisms for coin operated apparatus; cash registers, calculating machines, data processing equipment and computers; fire extinguishing apparatus.
US Class Codes021, 023, 026, 036, 038
Class Status Code6 - Active
Class Status DateFriday, November 15, 2019
Primary Code009
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

International Class041 - Education; providing of training; entertainment; sporting and cultural activities.
US Class Codes100, 101, 107
Class Status Code6 - Active
Class Status DateFriday, November 15, 2019
Primary Code041
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

International Class042 - Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software.
US Class Codes100, 101
Class Status Code6 - Active
Class Status DateFriday, November 15, 2019
Primary Code042
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

Trademark Owner History


Party NameProver Technology AB
Party Type30 - Original Registrant
Legal Entity Type09 - Joint Stock Company
AddressSE

Party NameProver Technology AB
Party Type20 - Owner at Publication
Legal Entity Type09 - Joint Stock Company
AddressSE

Party NameProver Technology AB
Party Type10 - Original Applicant
Legal Entity Type09 - Joint Stock Company
AddressSE

Trademark Events


Event DateEvent Description
Friday, October 28, 2022NEW REPRESENTATIVE AT IB RECEIVED
Monday, June 7, 2021FINAL DECISION TRANSACTION PROCESSED BY IB
Tuesday, May 18, 2021FINAL DISPOSITION NOTICE SENT TO IB
Tuesday, May 18, 2021FINAL DISPOSITION PROCESSED
Sunday, May 16, 2021FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
Tuesday, February 16, 2021REGISTERED-PRINCIPAL REGISTER
Tuesday, January 12, 2021EXTENSION OF TIME TO OPPOSE PROCESS - TERMINATED
Wednesday, August 19, 2020EXTENSION OF TIME TO OPPOSE RECEIVED
Friday, July 31, 2020NOTIFICATION PROCESSED BY IB
Tuesday, July 21, 2020OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
Tuesday, July 21, 2020PUBLISHED FOR OPPOSITION
Wednesday, July 15, 2020NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB
Wednesday, July 15, 2020NOTICE OF START OF OPPOSITION PERIOD CREATED, TO BE SENT TO IB
Wednesday, July 1, 2020NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED
Monday, June 15, 2020APPROVED FOR PUB - PRINCIPAL REGISTER
Saturday, May 23, 2020TEAS/EMAIL CORRESPONDENCE ENTERED
Friday, May 22, 2020CORRESPONDENCE RECEIVED IN LAW OFFICE
Friday, May 22, 2020TEAS RESPONSE TO OFFICE ACTION RECEIVED
Saturday, January 4, 2020REFUSAL PROCESSED BY IB
Sunday, December 15, 2019NON-FINAL ACTION MAILED - REFUSAL SENT TO IB
Sunday, December 15, 2019REFUSAL PROCESSED BY MPU
Friday, November 22, 2019NON-FINAL ACTION (IB REFUSAL) PREPARED FOR REVIEW
Thursday, November 21, 2019NON-FINAL ACTION WRITTEN
Tuesday, November 19, 2019APPLICATION FILING RECEIPT MAILED
Friday, November 15, 2019ASSIGNED TO EXAMINER
Friday, November 15, 2019NEW APPLICATION OFFICE SUPPLIED DATA ENTERED IN TRAM
Thursday, November 14, 2019SN ASSIGNED FOR SECT 66A APPL FROM IB