LEAN Trademark

Trademark Overview

On Monday, October 28, 2024, a trademark application was filed for LEAN with the United States Patent and Trademark Office. The USPTO has given the LEAN trademark a serial number of 98824547. The federal status of this trademark filing is NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER as of Monday, October 28, 2024. This trademark is owned by Lean FRO, LLC. The LEAN trademark is filed in the Computer & Software Products & Electrical & Scientific Products category with the following description:

Computer programs, downloadable, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for mathematics, proof automation, and code verification; Computer programs, recorded, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, recorded, for mathematics, proof automation, and code verification; Downloadable computer software for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Downloadable computer software for mathematics, proof automation, and code verification
lean

General Information

Serial Number98824547
Word MarkLEAN
Filing DateMonday, October 28, 2024
Status630 - NEW APPLICATION - RECORD INITIALIZED NOT ASSIGNED TO EXAMINER
Status DateMonday, October 28, 2024
Registration Number0000000
Registration DateNOT AVAILABLE
Mark Drawing4 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form
Published for Opposition DateNOT AVAILABLE

Trademark Statements

Goods and ServicesComputer programs, downloadable, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for mathematics, proof automation, and code verification; Computer programs, recorded, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, recorded, for mathematics, proof automation, and code verification; Downloadable computer software for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Downloadable computer software for mathematics, proof automation, and code verification

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 DateMonday, October 28, 2024
Primary Code009
First Use Anywhere DateWednesday, July 24, 2013
First Use In Commerce DateWednesday, July 24, 2013

Trademark Owner History

Party NameLean FRO, LLC
Party Type10 - Original Applicant
Legal Entity Type16 - Limited Liability Company
AddressCambridge, MA 02138

Trademark Events

Event DateEvent Description
Monday, October 28, 2024NEW APPLICATION ENTERED
Monday, October 28, 2024NEW APPLICATION OFFICE SUPPLIED DATA ENTERED

Related Keywords

lean computer software automation mathematics proof code programs downloadable verification verified