COQ
LIVE

Add to watchlist:

No watchlists yet
View on USPTO

COQ Trademark

Serial Number: 79081913 • Registration: 4010952

COQ is a trademark filed by INRIA INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE on January 13, 2010. The trademark is classified under Class 9 (Computers & Electronics), Class 42 (Computer & Scientific). The application is currently registered and active.

Owner Contact Info

INRIA INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (19 trademarks)

78150 LE CHESNAY , FR

Entity Type: 99

Trademark Details

Filing Date

January 13, 2010

Registration Date

August 16, 2011

Published for Opposition

May 31, 2011

Goods & Services

Computer software for the writing and the checking of mathematical proofs; retrieval software for the writing and the checking of mathematical proofs; computer programs for the writing and the checking of mathematical proofs

Design, development, installation and updating of computer software; technical project planning for computer software; engineering; computer programming; research and development of new computer software products for third parties; duplication of computer programs; consulting, assistance and technical support services, namely, diagnosis of problems in the field of problems with computer software, computer hardware and computers; computer services, namely, providing a website featuring online nondownloadable software tools for editing of texts, still or animated images, musical sounds and interactive disks; conversion of data or documents from physical to electronic media

Filing History

NEW REPRESENTATIVE AT IB RECEIVED
Aug 14, 2025 NREP
NEW REPRESENTATIVE AT IB RECEIVED
Jun 10, 2023 NREP
PARTIAL INVALIDATION PROCESSED BY THE IB
Apr 11, 2023 INNP
GENERIC MADRID TRANSACTION SENT TO IB
Mar 7, 2023 XXSS
GENERIC MADRID TRANSACTION CREATED
Mar 7, 2023 XXCR
PARTIAL INVALIDATION OF REG EXT PROTECTION CREATED
Jan 16, 2023 INPR
NOTICE OF ACCEPTANCE OF SEC. 71 - E-MAILED
May 16, 2022 NA71
REGISTERED - PARTIAL SEC 71 ACCEPTED
May 16, 2022 71.P
CASE ASSIGNED TO POST REGISTRATION PARALEGAL
Mar 16, 2022 APRE
TEAS SECTION 71 RECEIVED
Aug 16, 2021 ES71
COURTESY REMINDER - SEC. 71 (10-YR) E-MAILED
Aug 16, 2020 REM4
INTERNATIONAL REGISTRATION RENEWED
Feb 13, 2020 RNWL
TEAS CHANGE OF CORRESPONDENCE RECEIVED
Feb 6, 2020 TCCA
NEW REPRESENTATIVE AT IB RECEIVED
Feb 14, 2019 NREP
NOTICE OF ACCEPTANCE OF SEC. 71 - E-MAILED
Aug 10, 2017 NA71
REGISTERED-SEC.71 ACCEPTED
Aug 10, 2017 71AG
CASE ASSIGNED TO POST REGISTRATION PARALEGAL
Aug 9, 2017 APRE
TEAS SECTION 71 RECEIVED
Jul 24, 2017 ES71
FINAL DECISION TRANSACTION PROCESSED BY IB
Apr 21, 2013 FINO
FINAL DISPOSITION NOTICE SENT TO IB
Mar 27, 2012 FICS
FINAL DISPOSITION PROCESSED
Mar 27, 2012 FIMP
FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
Nov 16, 2011 FICR
REGISTERED-PRINCIPAL REGISTER
Aug 16, 2011 R.PR
NOTIFICATION PROCESSED BY IB
Jul 20, 2011 GPNX
PUBLISHED FOR OPPOSITION
May 31, 2011 PUBO
NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB
May 11, 2011 OPNS
NOTICE OF START OF OPPOSITION PERIOD CREATED, TO BE SENT TO IB
May 11, 2011 OP2R
NOTICE OF PUBLICATION
May 11, 2011 NPUB
LAW OFFICE PUBLICATION REVIEW COMPLETED
Apr 23, 2011 PREV
APPROVED FOR PUB - PRINCIPAL REGISTER
Apr 22, 2011 CNSA
TEAS/EMAIL CORRESPONDENCE ENTERED
Apr 13, 2011 TEME
CORRESPONDENCE RECEIVED IN LAW OFFICE
Apr 12, 2011 CRFA
TEAS RESPONSE TO OFFICE ACTION RECEIVED
Apr 12, 2011 TROA
NON-FINAL ACTION MAILED
Jan 12, 2011 CNRT
NON-FINAL ACTION WRITTEN
Jan 12, 2011 CNRT
PREVIOUS ALLOWANCE COUNT WITHDRAWN
Jan 7, 2011 ZZZX
WITHDRAWN FROM PUB - OG REVIEW QUERY
Dec 27, 2010 PBCR
LAW OFFICE PUBLICATION REVIEW COMPLETED
Dec 16, 2010 PREV
APPROVED FOR PUB - PRINCIPAL REGISTER
Dec 8, 2010 CNSA
TEAS/EMAIL CORRESPONDENCE ENTERED
Dec 7, 2010 TEME
CORRESPONDENCE RECEIVED IN LAW OFFICE
Dec 7, 2010 CRFA
ASSIGNED TO LIE
Dec 7, 2010 ALIE
TEAS RESPONSE TO OFFICE ACTION RECEIVED
Nov 18, 2010 TROA
REFUSAL PROCESSED BY IB
Jun 18, 2010 RFNT
APPLICATION FILING RECEIPT MAILED
May 21, 2010 MAFR
NON-FINAL ACTION MAILED - REFUSAL SENT TO IB
May 18, 2010 RFCS
REFUSAL PROCESSED BY MPU
May 18, 2010 RFRR
NON-FINAL ACTION (IB REFUSAL) PREPARED FOR REVIEW
May 18, 2010 RFCR
NON-FINAL ACTION WRITTEN
May 17, 2010 CNRT
ASSIGNED TO EXAMINER
May 17, 2010 DOCK
NEW APPLICATION OFFICE SUPPLIED DATA ENTERED
May 17, 2010 NWOS
LIMITATION OF GOODS/SERVICES FROM IB ENTERED
May 14, 2010 LIMS
SN ASSIGNED FOR SECT 66A APPL FROM IB
May 13, 2010 REPR