Registered computer programs, namely software based tools for configuring, developing and verification of other software; computer programs for verifying systems; computer applications programs for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules implementing decisions procedures, each for a certain logic; chips (integrated circuits); data based computer aided software engineering (CASE) applications; registered computer programs for verifying hardware and software systems, all for use in the field of formal verification technology.

Arranging and conducting of seminars in the field of formal verification technology; provision of introductory and advanced courses on the topic of integration of computer systems for safety verification and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs for formal safety verification; practical training taught via demonstration in the fields of computer programming and safety verification

Prepared foods for human consumption, namely hamburgers, hot dogs, cheeseburgers, french fried potatoes; non-alcoholic beverages, namely carbonated beverages, fruit juices, hot chocolate, milk shakes, milk, coffee and tea

Restaurant services

Body oils; body oils for cosmetic purposes; cosmetic oils; cosmetic oils for the epidermis; cosmetic oils for the skin

Downloadable software in the nature of a mobile application providing access to a portal for submitting, posting and searching of professional, technical and scientific data and information, resumes of professionals, experts and industry specialists, projects, programs and work opportunities in the fields of consulting, advice, coaching, interim management, training, professional services, employment, recruiting, placement, staffing, work opportunities, and business networking; Downloadable software in the nature of a mobile application for communication between users, namely, transmission of instant electronic messages, and for submitting, posting, sharing, searching and accessing documents, texts, multimedia content, videos, audio, animation, images, data and files in the fields of consulting, advice, coaching, interim management, training, professional services, business initiation and engagement, business promotion, and business and social networking; Downloadable computer software for use as an application programming interface (API) for use in the fields of database management; Downloadable middleware for identifying and authenticating users; Downloadable computer software applications for social networking services; Computer search engine software.

Advertising for others by promoting their services via global computer networks; Advertising, marketing and promotional services, namely advertising, marketing and promotional services for the goods and services of others via global computer networks; Provision of space on websites for advertising goods and services; Affiliate marketing for promoting goods and services of others for purchasing; Banner advertising services of promoting goods and services of others for purchasing; Provision of information relating to advertising; Updating of advertising material for others; analysis of the public awareness of advertising; Announcement services for advertising purposes, namely for promoting goods and services of others for purchasing; business advice relating to marketing; consultancy relating to advertising; Advisory services to third parties relating to sales promotion for goods and services for purchasing; provision of an online marketplace for buyers and sellers of goods and services; consulting services in the field of Internet marketing; computerized file management; Provision of computerized advertising services, namely for promoting goods and services of others for purchasing; coupon procurement services for others; Digital advertising services for others, namely for promoting goods and services of others for purchasing; advertising agency services; Referral marketing for others, namely for promoting goods and services of others for purchasing; development and implementation of marketing strategies for others; preparing and placing advertisements for others; Providing consumer information relating to goods and services of others for assisting with the sale of goods and services; Trade marketing [other than selling] for promoting goods and services of others for purchasing; Providing assistance in the field of product commercialization for others for promoting goods and services of others for purchasing; market canvassing; Provision of information and advice to consumers of others regarding the selection of products and items to be purchased; providing marketing consulting in the field of social media; public relations services; Online advertising, namely online advertising for the goods and services of others for purchasing; Pay per click advertising, namely pay per click advertising for promoting the goods and services of others for purchasing; Organisation and conducting of product presentations, namely organisation and conducting of product presentations for others for promoting their goods and services for purchasing; Marketing services provided by means of digital networks, namely marketing services provided by means of digital networks for promoting goods and services of others for purchasing; Advertising and marketing services provided by means of social media, namely advertising and marketing services provided by means of social media for promoting goods and services of others for purchasing; Dissemination of advertising via online communications networks, namely dissemination of advertising via online communication networks for promoting goods and services of others for purchasing; Promotional marketing services using audiovisual media, namely promotional marketing services using audiovisual media for promoting goods and services of others for purchasing; Arranging and placing of advertisements, namely arranging and placing of advertisements for others for promoting goods and services of others for purchasing; Providing and rental of advertising space on the Internet, namely providing and rental of advertising space on the Internet for others for promoting goods and services of others for purchasing; Negotiation and conclusion of commercial transactions for third parties via telecommunication systems, namely negotiation and conclusion of commercial transactions for third parties via telecommunication systems enabling purchase of goods and services from others; mediation and conclusion of commercial transactions for others; Rental of advertising space, namely rental of advertising space for promoting goods and services of others for purchasing; Rental of advertising time on communication media, namely rental of advertising time on communication media for promoting goods and services of others for purchasing; Rental of advertising space on the Internet, namely rental of advertising space on the Internet for promoting goods and services of others for purchasing; Publicity and sales promotion Services, namely publicity and sales promotion services for promoting goods and services of others for purchasing; publication of publicity materials; mediation of trade business for third parties; Preparation and realization of media and advertising plans and concepts, namely preparation and realization of media and advertising plans and concepts for promoting goods and services of others for purchasing; Demonstration of goods, namely demonstration of goods for promoting goods and services of others for purchasing; providing a searchable online advertising guide featuring the goods and services of other on-line vendors on the internet; promoting the goods and services of others over the Internet; providing user reviews on third party samples for commercial or advertising purposes; interpretation of market research data; assessment analysis relating to business management; statistical evaluations of marketing data; compilation of statistics; compilation of statistics relating to advertising; compilation of statistics [for business or commercial purposes]; employment agency services; Procurement of contracts for others for the purchase and sale of goods; business intermediary services relating to mailing lists; personnel placement; compilation of business directories; Compilation of information into databases for assisting others with the promotion of goods and services for purchase; providing business information directory services, via a global computer network; systemization of information into computer databases; Business information management; Computer database management services; Management and compilation of computerised databases; Data processing for businesses for assisting others with the promotion of goods and services for purchase; Data processing for the collection of data for business purposes, namely data processing for the collection of data for business purposes for assisting others with the promotion of goods and services for purchase; Business inquiries, namely making business enquiries for third parties for setting up new business contacts for them; Provision of information concerning commercial sales, namely provision of information concerning commercial sales for assisting others with the promotion of goods and services for purchase; Advertising, marketing and promotional services for the purpose of facilitating business networking opportunities for service providers and customers; telephone directory assistance services; telephone directory information services.

Copywriting services and Content creation for others by a certified copywriter

Recorded computer software for building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, content creation, content management, content analytics, content adaptation, content measurement, automated copyediting, content storing and transmission, use in natural language generation, use in natural language understanding, use in natural language processing, use in natural language editing, use in computational linguistics, use in data mining, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; downloadable computer software for building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, automated copyediting, use in natural language editing, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; software extensions and plugins, namely downloadable computer software for building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, automated copyediting, use in natural language generation, use in natural language understanding, use in natural language processing, use in natural language editing, use in computational linguistics, use in data mining, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; downloadable software for collaboration on shared documents; downloadable software for enabling multi-language translation of content, for assessing content for translation and verification purposes, for verifying and assessing that content meets already-established style guidelines, for verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience, and for making suggestions to improve same; downloadable software for content creation, content analytics, content management, content adaptation, content measurement, and content storing and transmission; downloadable software extensions and plugins, namely downloadable computer software for content creation, content analytics, content management, content adaptation, content measurement, and content storing and transmission; downloadable computer software for use in natural language generation, natural language understanding, natural language processing, computational linguistics and data mining.

Computer services, namely, building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, content creation, content management, content analytics, content adaptation, content measurement, automated copyediting, content storing and transmission, use in natural language generation, natural language understanding, natural language processing, natural language editing, computational linguistics, data mining, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; software as a service (SaaS) services featuring software for building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, content creation, content management, content analytics, content adaptation, content measurement, automated copyediting, content storing and transmission, use in natural language editing, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; providing online non-downloadable computer software for building and hosting already-established company style guides and taxonomies, applying already-established company-specific content guidelines to text and applying already-established company-specific terminology suggestions to text, analyzing content for compliance purposes, analyzing content for bias (whether based on gender, race, disability, or other), detecting plagiarism in text, applying rules of spelling, grammar and punctuation to text, enhancing vocabulary of text by providing automated word choice suggestions, providing reports that contain analytics of errors, verifying and assessing that content meets already-established company style and other writing guidelines and making suggestions to improve same, verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience and making suggestions to improve same, content creation, content management, content analytics, content adaptation, content measurement, automated copyediting, content storing and transmission, use in natural language generation, use in natural language understanding, use in natural language processing, use in natural language editing, use in computational linguistics, use in data mining, machine learning, managing readability and plain language adherence, in-context writing coaching and training, and text classification and categorization; computer services, namely, testing of third-party content for linguistic and cultural relevance and appropriateness for a target audience and for user experience based on independent standards; software as a service (SaaS) services featuring software for collaboration on shared documents; software as a service (SaaS) featuring software for enabling multi-language translation of content, for assessing content for translation and verification purposes, for verifying and assessing that content meets already-established style guidelines, for verifying and assessing that content is linguistically and culturally relevant and appropriate for a target audience, and for making suggestions to improve same; software as a service (SaaS) services featuring software for content creation, content analytics, content management, content adaptation, content measurement, and content storing and transmission; software as a service (SaaS) featuring software extensions and plugins for content creation, content analytics, content management, content adaptation, content measurement, and content storing and transmission; software as a service (SaaS) featuring software for use in natural language generation, natural language understanding, natural language processing, computational linguistics and data mining; assessment of third-party content for translation purposes; verification and assessment of third-party content for linguistic and cultural relevance and appropriateness for a target audience based on independent standards; computer services, namely, providing an interactive web site featuring technology that allows users to collect, store, manage, deliver and showcase electronic content.

Acoustical filters; amplifiers; apparatus for the amplification, mixing, integration, reproduction and transmissions of sound, namely, electronic signal amplifiers, audio amplifiers, audio recorders, audio speakers, audio loud speakers, transducers, and electronic signal processors; electronic filters; loudspeakers; multiplexers; signal processors; sound speakers; and transducers; acoustic and sound reinforcement equipment; structural parts for all the aforementioned goods; recorded or downloadable computer software for amplifying, reinforcing, mixing, modifying controlling and disseminating sound for use in conjunction with loudspeakers, loudspeaker systems, amplifiers and electronic controllers for loudspeakers; all of the aforementioned goods for use in concerts, theatres, performing arts centres, stadiums, houses of worship, conference spaces, auditoriums, and other large indoor and outdoor venues.

Development, installation, maintenance and updating of computer software for amplifying, reinforcing, mixing, modifying controlling and disseminating sound for use in conjunction with loudspeakers, loudspeaker systems, amplifiers and electronic controllers for loudspeakers; software as a service (SaaS) provider in the field of software for amplifying, reinforcing, mixing, modifying controlling and disseminating sound for use in conjunction with loudspeakers, loudspeaker systems, amplifiers and electronic controllers for loudspeakers; all of the aforementioned services for use in concerts, theatres, performing arts centres, stadiums, houses of worship, conference spaces, auditoriums, and other large indoor and outdoor venues.

Dry erase writing boards and writing surfaces; display and message boards.

Office furniture; tables; credenzas; utility carts.

Musical juke boxes; phonograph records; Tone arms for record players; Record players; head cleaning tapes for audio cassette recorders; Needles for record players; Speed regulators for record players; electroacoustic transducers; CD players; head cleaning tapes for video recorders; Earphones; Loudspeakers; Cabinets for loudspeakers; Megaphones; Horns for loudspeakers; Slide projectors; Projection screens; Burglar alarms; blank USB flash drives; Car video recorders;

Preparations for fortifying plants; preparations for protecting plants against pathogens

Cleaning preparations for plant leaves