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
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

Institutional

New project intends to identify faults in power distribution systems

The technical kick-off meeting of the project “F-LOCO – Fault Location Optimization” was held on 17 December 2018.

20th March 2019

Institutional

INESC TEC signs memorandum with Indian Technology Institute

In December, a new impulse was given to the cooperation with India through the signature and the exchange of a Memorandum of Understanding (MoU) between INESC TEC and IIT Madras - Indian Institute of Technology Madras of Chennai.

14th March 2019

Industry and Innovation

INESC TEC participates in the FAMEST project

The general annual meeting of the mobilising project for the Portuguese footwear entitled FAMEST - Footwear, Advanced Materials, Equipment’s and Software Technologies, which has the involvement of INESC TEC’s Centre for Enterprise Systems Engineering (CESE), took place on 9 January at the Portuguese Technological Footwear Centre (CTCP).

11th March 2019

Institutional

Annual meeting of INESC P&D Brasil defines strategy for 2019

The Annual Meeting of the Strategic Management Team (TGE) of INESC P&D Brasil took place between 6 and 7 December of 2018 in the city of Florianópolis, Santa Catarina, Brazil.

11th March 2019

Networked Intelligent Systems

Fraunhofer award was given to a paper on retina disease

The paper entitled “Quantitative Assessment of Central Serous Chorioretinopathy in Angiographic Sequences of Retinal Images”, written by Carlos Ferreira, Jorge Silva and Ana Maria Mendonça, collaborators of INESC TEC’s Centre for Biomedical Engineering Research, alongside Susana Penas, Ophthalmology Specialist at São João Hospital Centre and Professor at FMUP, won the Best Paper Award in the category entitled Full Papers Summarizing a Msc Thesis from the Associação Fraunhofer Portugal Research (Fraunhofer Portugal).

07th March 2019

Institutional

Director-General of the European Commission visits INESC TEC

Khalil Rouhana, Deputy Director-General of DG CONNECT, visited INESC TEC on 12 February.

06th March 2019

Networked Intelligent Systems

Original partnership brings together INESC TEC's technology and photographic art

On 23 February, the inauguration of the photography and video exhibition entitled “Olha e Vê. Sente e Vive” and “Outros Retratos e Auto-retratos” (in English “Look and See. Sense and Live” and “Other Portraits and Self-Portraits”) took place at Mira Forum. It was promoted under the project SCREEN-DR of INESC TEC’s Centre for Biomedical Engineering Research (C-BER).

01st March 2019

Networked Intelligent Systems

InSignals Neurotech is the name of the new INESC TEC’s spin-off

Spin-off is the result of the research conducted in the biomedical engineering area.

28th February 2019

Institutional

INESC TEC tool allows a personalised digital marketing

PushNews - Automated Cross-Channel Orchestration for Content Distribution is the name of the project promoted by the Laboratory of Artificial Intelligence and Decision Support (LIAAD) and by the Centre for Enterprise Systems Engineering (CESE) of INESC TEC that allows digital communication between content producers and consumers to be more effective and efficient.

27th February 2019

Industry and Innovation

INESC TEC develops tools to improve urban public transports

INESC TEC is leading the project opti-MOVES (Quality management of intermodal public transport services: diagnostic and optimisation).

26th February 2019

  • 1
  • 97