tm logo
PROVER ILOCK
Live/Registered
REGISTERED

on 25 Aug 2020

Last Applicant/ Owned by

SE-118 51 Stockholm

SE

Serial Number

79266744 filed on 13th Jun 2019

Registration Number

6132482 registered on 25th Aug 2020

in the Principal Register

Correspondent Address

Allison Strickland Ricketts

Allison Strickland Ricketts

151 West 42nd St., 17th Fl

New York, NY, 10036

Filing Basis

No Filing Basis

Disclaimer

NO DATA

PROVER ILOCK

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; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying Read More

Classification Information


Class [009]
Computer & Software Products & Electrical & Scientific Products


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; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying software and hardware systems

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

Mark Details


Serial Number

No 79266744

Mark Type

No Service Mark

Attorney Docket Number

No PTAB 2003118

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


Show more

Status DateAction Taken
10th Jan 2021FINAL DECISION TRANSACTION PROCESSED BY IB
17th Dec 2020FINAL DISPOSITION NOTICE SENT TO IB
16th Dec 2020FINAL DISPOSITION PROCESSED
25th Nov 2020FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
25th Aug 2020REGISTERED-PRINCIPAL REGISTER
09th Jun 2020OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
09th Jun 2020PUBLISHED FOR OPPOSITION
05th Jun 2020NOTIFICATION PROCESSED BY IB
20th May 2020NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB
20th May 2020NOTICE OF START OF OPPOSITION PERIOD CREATED, TO BE SENT TO IB