INRIA (Institut National de Recherche en Informatique et en Automatique)

COQ

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;Color is not claimed as a feature of the mark.;The English translation of COQ in the mark is cock or rooster.;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;