Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
News

News by Computer Science

Computer Science

Company CLEARSY visits INESC TEC

Thierry Lecomte, R&D projects Director at CLEARSY Systems Engineering, visited INESC TEC’s High-Assurance Software Laboratory (HASLab), in Braga, and also the Institute’s headquarters, in Porto, between 6 and 7 March.

23rd April 2019

Computer Science

Workshop on Data Analysis organised by INESC TEC

Ricardo Campos, collaborator at INESC TEC’s Artificial Intelligence and Decision Support Laboratory (LIAAD), co-organised the workshop “User Interfaces for Spatial and Temporal Data Analysis – UISTDA”, which was held on 20 March in Los Angeles, United States of America.

16th April 2019

Computer Science

The 1st stage of the project that intends to promote the digitalisation of the Maia territory came to an end

The “SIG intermunicipal Maia” project, which was promoted by INESC TEC's Centre for Information Systems and Computer Graphics (CSIG), came to an end in March. 

10th April 2019

Computer Science

Google funds INESC TEC project in the digital media area

AmbiVideo360 (Augmented experiences in interactive 360º videos), as it is called, is the new INESC TEC project in the digital media area that will receive a EUR 49,990 fund by Google.

10th April 2019

Computer Science

CoLAB VORTEX was officially launched and has INESC TEC as a partner

It was under the conferences PERIN 2019 “+ Ciência, + Europa” that took place the presentation session of the Collaborative Laboratory (CoLAB) VORTEX in Cyber-Physical systems and Cyber Security, having INESC TEC as one of its partners and with the participation ensured by the High-Assurance Software Laboratory (HASLab).

02nd April 2019

Computer Science

INESC TEC researcher nominated Professor Emeritus of the University of Porto

Pavel Brazdil, collaborator of INESC TEC’s Laboratory of Artificial Intelligence and Decision Support (LIAAD) became one of the new Professor Emeritus of the University of Porto (U.Porto), in a ceremony that took place on 22 March under the Formal Session that celebrated the 108th anniversary of the institution.

29th March 2019

Computer Science

INESC TEC article accepted for publication in an IEEE conference

An article entitled “Efficient Synchronization of State-based CRDTs”, authored by Vítor Enes, Paulo Sérgio Almeida and Carlos Baquero, researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), together with João Leitão, researcher at NOVA LINCS, was accepted for publication in the 35th IEEE International Conference on Data Engineering (ICDE 2019).

20th March 2019

Computer Science

World Congress on Formal Methods has a partnership with Porto Tech Hub

The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre.

20th March 2019

Computer Science

INESC TEC researcher wins an IBM award on Quantum Computing

Miguel Ramalho, collaborator of INESC TEC’s Laboratory of Artificial Intelligence and Decision Support (LIAAD) and a student of the Integrated Master in Informatics and Computing Engineering (MIEIC) of the Faculty of Engineering of the University of Porto (FEUP), won the “IBM Q Teach Me Quantum Challenge”, thus receiving a $7,000 prize (around EUR 6,000).

21st February 2019

Computer Science

New INESC TEC publication on Supporting Tools for Development

Ricardo Queirós, collaborator of INESC TEC’s Centre for Research in Advanced Computing Systems (CRACS) published a new book entitled "Code Generation, Analysis Tools, and Testing for Quality".

18th February 2019

Computer Science

INESC TEC’s project helps the elderly to take medicines

The prototype of a robotic system that helps the elderly to take medicines was one of the results of the collaboration between INESC TEC’s Centre for Information Systems and Computer Graphics (CSIG) and the Superior School of Health of the University of Trás-os-Montes and Alto Douro (UTAD), which took place under the NIE project - Natural Interfaces for the Elderly.

14th February 2019

Computer Science

INESC TEC researcher elected for the Committee on Foundations of Computer Science

On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.

08th February 2019

  • 1
  • 17