Registered computer programs including computer programs for verifying systems; computer applications programs for selecting and configuring data processing equipment in accordance with pre-estalished 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.

Arranging and conducting of seminars; introductory and advanced courses on integration of computer systems and general courses related to the application of formal verification technology; teaching and training on computer programs; practical training (demonstration).

Data processing apparatus; Computers; Software and applications for mobile devices; Games software; Electronic game software for mobile phones; Electronic game software for wireless devices; Downloadable computer game software; Computer games programmes downloaded via the internet [software]; Computer software that permits games to be played; Data processing equipment and accessories (electrical and mechanical); Software; Computer hardware; Mouse pads; Downloadable electronic game programs; Electronic publications, downloadable, relating to games and gaming; Downloadable ring tones for mobile phones; Music software; Computer software to enhance the audio-visual capabilities of multimedia applications, namely, for the integration of text, audio, graphics, still images and moving pictures; Parts and fittings for communications apparatus; Computer programs for video and computer games; Multifunction computer keyboards; Surveying apparatus and instruments; Wireless computer peripherals; Games cartridges for use with electronic games apparatus; Computer joysticks; Scientific apparatus and instruments; Teaching apparatus and instruments; Film reproducing apparatus; Measuring instruments; Measuring apparatus and instruments; Signalling apparatus and instruments; Checking (supervision) apparatus and instruments; Apparatus and instruments for controlling electricity; Apparatus and instruments for conducting electricity; Apparatus and instruments for accumulating and storing electricity; Apparatus and instruments for switching electricity; Apparatus and instruments for regulating electricity; Apparatus and instruments for transforming electricity; Display devices, television receivers and film and video devices; Apparatus for the reproduction of images; Apparatus for the transmission of images; Sound and picture recording apparatus; Recording devices for sound and image carriers; Magnetic data media; Phonograph records; Coin-operated mechanisms; Downloadable software; Software programs for video games; Computer video game software; Mobile software; Computer software packages; Computer software applications, downloadable; Programmed video games contained on cartridges [software]; Downloadable computer game programs.

Entertainment services; Internet games (non-downloadable); Providing digital music from the internet; Provision of entertainment information by electronic means; Game services provided on-line from a computer network; Provision of on-line computer games; Provision of on-line entertainment; Rental of video games; Rental of electronic game equipment; Provision of information relating to entertainment online from a computer database of the Internet; Providing on-line interactive computer games; Educational instruction; Sporting and cultural activities; Multimedia entertainment software publishing services; Providing information on-line relating to computer games and computer enhancements for games; Providing online information on computer and video game strategies; Providing on-line video games; Provision of online information relating to game players; Electronic games services provided via a global computer network; Rental of computer game programs.

Training and education services.

Procurement services for others; information and advisory services relating to procurement; consultancy services relating to procurement.

Surgical, medical, dental and veterinary apparatus and instruments, artificial limbs, eyes and teeth; Orthopedic articles; Suture materials.

Medical services; Nursing homes; Veterinary services; Hygienic and beauty care for human beings or animals.

Computer hardware; computer peripherals; multimedia apparatus and instruments; telecommunications apparatus and instruments; cases adapted for computers, mobile telephones and multimedia apparatus; stylus pens; loudspeakers; headphones; speakers; computer mouses; keyboards; wrist rests; mouse mats; parts and fittings for all the aforesaid goods.

Articles of luggage; briefcases, rucksacks, attache cases, satchels, slipcases, pouches; bags or cases for electrical equipment; parts and accessories for all the aforesaid goods.

Training.

Computer hardware; computer peripherals; multimedia apparatus and instruments; telecommunications apparatus and instruments; cases adapted for computers, mobile telephones and multimedia apparatus; stylus pens; loudspeakers; headphones; speakers; computer mouses; keyboards; wrist rests; mouse mats; parts and fittings for all the aforesaid goods.

Articles of luggage; briefcases, rucksacks, attache cases, satchels, slipcases, pouches; bags or cases for electrical equipment; parts and accessories for all the aforesaid goods.

Computer software; Application software; Mobile application software; Artificial intelligence and machine learning software; AI software; Downloadable software; Communication and networking software; Website development software; Software and applications for mobile devices; Facial recognition software; Operating system software; Computer programmes; Downloadable media; Artificial intelligence software; Machine learning software for analysis; artificial intelligence software for entertainment purposes; artificial intelligence software for reviewing consumer products. .

Providing temporary use of non-downloadable software for facilitating interaction and communication between humans and AI (artificial intelligence) platforms; Application service provider (ASP) featuring software to enable or facilitate interaction and communication between humans and AI (artificial intelligence) platforms; Design of augmented reality and virtual reality effects for use in modifying photographs, images, videos and audio-visual content; Providing online non-downloadable personal assistant software; Providing non-downloadable social assistant software; Non-downloadable computer software for facilitating interaction and communication between humans and AI (artificial intelligence) platforms, namely, bots, virtual agents and virtual assistants; Non-downloadable computer software for sharing and displaying a user’s location, planning activities with other users and making recommendations; Non-downloadable computer software for social and destination mapping; Providing online, non-downloadable software that provides real-time, autonomous recommendations to enable data protection and security management and activities; software as a service (SaaS) services featuring software for accessing data and information; Software as a service; Software as a service [SaaS];Software as a service [SAAS] services; Software consultancy services; Software consulting services; Software creation; Software customisation services; Software design; Software design and development; Software design (Computer -);Software design for others; Software development; Software development in the framework of software publishing; Software development, programming and implementation; Software development services; Software engineering; Software engineering services; Software engineering services for data processing programs; Software installation; Software maintenance services; Software research; Software (Updating of computer -).

Promotional and advertising services; the bringing together, for the benefit of others, of a variety of goods and services, enabling customers to conveniently view and purchase those goods and services from an online website specialising in the promotion of goods and services provided by others.

Telecommunication services.