- Menu
- Spread the word.
Share this page. - Linked in
- Google plus
- Copy Url
-
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
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
The technical kick-off meeting of the project “F-LOCO – Fault Location Optimization” was held on 17 December 2018.
20th March 2019
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
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
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
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
Khalil Rouhana, Deputy Director-General of DG CONNECT, visited INESC TEC on 12 February.
06th March 2019
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
Spin-off is the result of the research conducted in the biomedical engineering area.
28th February 2019
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
INESC TEC is leading the project opti-MOVES (Quality management of intermodal public transport services: diagnostic and optimisation).
26th February 2019