COQ Trademark
COQ is a USPTO trademark filed by INRIA (Institut National de Recherche en Informatique et en Automatique). Status: Registered.
Trademark Facts
| Mark | COQ |
|---|---|
| Serial Number | 79081913 |
| Registration Number | 4010952 |
| Status | Registered |
| Filing Date | 2010-01-13 |
| Registration Date | 2011-08-16 |
| Mark Type | Stylized |
| Nice Classes | 009 (Electronics & Software), 042 (Software & IT) |
| Owner | INRIA (Institut National de Recherche en Informatique et en Automatique) |
| Attorney of Record | John S. Egbert |
| Prosecution Events | 53 |
| Latest Event | NREP on 2025-08-14 |
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