Category: INESC-ID

VMCAI Winter School is a winter school on formal methods associated with VMCAI 2019 (VMCAI 2019 – 20th International Conference on Verification, Model Checking, and Abstract Interpretation) that took place in Lisbon, Portugal on January 9-12, 2019. In the vein of VMCAI, the school is meant to facilitate interaction, cross-fertilization, and advancement of hybrid methods that combine Verification, Model Checking, Abstract Interpretation, etc.

The VMCAI Winter School program featured two tutorial lectures per day, presented by distinguished speakers and experts in these fields.

List of tutorial lectures:

* An Introduction to Learning from Programs, by Marc Brockschmidt (Microsoft Research, Cambridge, UK)

* Models and Techniques for Analyzing Security Protocols, by Veronique Cortier (Loria, Nancy, France)

* Neural Network Verification, by M. Pawan Kumar (University of Oxford, UK)

* Computing with SAT Oracles: From CDCL SAT Solving to Ubiquitous Industry Adoption, by João Marques-Silva (University of Lisbon, Portugal)

* Abstract Interpretation, by Patrick Cousot  (New York University, USA). This tutorial will be complemented by an invited talk by Sylvie Putot (Ecole Polytechnique, France) on “Zonotopic abstract domains for numerical program analysis”.

* Developing distributed protocols formally with Ivy, by Ken McMillan (Microsoft Research, Redmond, USA)

A more detailed program is available at the school website http://vmcaischool19.tecnico.ulisboa.pt/

Organizers: Constantin Enea (IRIF, University Paris Diderot); Vasco Manquinho (INESC-ID, IST – Universidade de Lisboa); Ruzica Piskac   (Yale University)

The latest edition of DN Insider, a Diário de Notícias newspaper supplement, highlighted the world of robots “made in Portugal” and how they will change our lives.

Special highlight to INESC-ID project, INSIDE, developed under the CMU Portugal Program and robot “ASTRO”, that explores the benefits that the interaction with a heterogeneous network of intelligent devices can bring to the therapy of children with Autism Spectrum Disorder (ASD).

Full article and interview of the PI of the INSIDE Project and researcher at INESC-ID, Francisco Melo, available here:
https://www.cmuportugal.org/wp-content/uploads/2018/11/Notícia-Robôs_DN-Insider_25.11_site.pdf

The 3rd Alumni Meeting of the Laboratório de Jogos of Instituto Superior Técnico (III Encontro de Alumni do Laboratório de Jogos do IST), was held on October 26th at 5:15 pm, at the IST Taguspark Campus.
In this event the participants discovered the current projects of former students of the Games subject area, explored the work we have developed in the Laboratório de Jogos, and learn about the professional experience of alumni who are currently working in the gaming industry.
The event featured three individual Alumni talks and a panel with more Alumnis and a visit to the Laboratório de Jogos lab to try out masters theses and games developed by our current students.

If you want to know more about the event, follow the pages dedicated to the III Meeting of Alumni:

• Facebook Event: https://www.facebook.com/events/2252757561626048
• Facebook Page: https://www.facebook.com/LabJogosIST
• Website: http://labjogos.tecnico.ulisboa.pt/…/encontroAl…/alumni2018/

The first ceremony of the Arquivo.pt 2018 Award was held on July 5th at the  “Ciência 2018 – Encontro com a Ciência e Tecnologia”, at the Lisbon Congress Centre. The European Commissioner for Research, Science and Innovation, Carlos Moedas, presented the award at the plenary session “Novas fronteiras da era digital na Europa e no Mundo”.

This first edition received 27 proposals from various fields such as: media, technology, computer science, tourism, cultural and historic patrimony.  This award recognizes originality and innovation in Arquivo.pt’s applicability and the importance of web preservation.

The third place winner was attributed to the work   “Arquivo de Opinião” by Miguel Won, researcher at INESC-ID at IDSS group.

The Opinion Archive is a web application that makes available to the user a digital repository of opinion articles, published between 2008 and 2016, in the main Portuguese media agents.

The annual ceremony of Técnico’s anniversary  will be held on May 23rd at IST Alameda and INESC-ID will also celebrate this day with total engagement, showcasing several demos of ongoing projects.

Here´s what to expect from INESC- ID Research groups:

• Temperature control on a tower use solar energy – Simulation of the control temperature system of a solar thermal tower

•  “Sueca” card game with EMYS Robot – Participant will be able to play a team card game called Sueca with a robot

• Project RAGE – Interviewing a virtual suspect

• Augmented Surgery and Immersive Endoscopy: Two Potential Healthcare Realities – Experience with Augmented reality (AR) and  virtual reality (VR) the technology and the potential areas of development of immersive diagnostic.

• SafeCloud middleware: how to prepare for 0-day vulnerabilities in secure communication channels – This demonstration will show the integration of two SafeCloud communication technologies: vtTLS and sKnock

• Side-Channel Analysis: unwanted back doors in most cryptographic systems

• Video-games from the IST Game Lab Dark Things About; Mexican Standoff; VEngine; FAtiMA VR Demo.

Full program here

https://tecnico.ulisboa.pt/pt/eventos/dia-do-tecnico-2018/

On May 18th the DECivil Museum will host “Técnico Museums: 1st Meeting” where museum professionals, researchers, as well as students and professors will share their projects around the numerous collections gathered over the years that represent the history, identity and culture of engineering in Portugal.

Several INESC-ID Researchers will participate in this event, for instance, at the Faraday Museum,  you will travel through two centuries of innovation in electrotechnology guided by Moisés Piedade from Embedded Electronic Systems research line.

Also, Teresa Vazão, Computing Systems and Communication Networks research line, will showcase a collection of computer equipment collected over the past two decades at Campus Taguspark.

From Interactive Intelligent Systems action line,  David de Matos will talk about the evolution of computer engineering at IST in the last 20 years and Rui Prada will tell you everything about the futuristic augmented reality game at the historical Faraday Museum.

The event begins at 10.00 a.m with the opening session conducted by José Pinto Paixão (Vice-rector of ULisboa) and Arlindo Oliveira (President of IST).

The event is free

Full program here:

https://tecnico.ulisboa.pt/en/events/tecnico-museums-collections-1st-session/

This year’s edition of Open Day CTM, dedicated to Artificial Intelligence (AI) in the context of Telecommunications and Multimedia, has as main speaker Arlindo Oliveira, president of Instituto Superior Técnico (IST), researcher at INESC-ID, expert in AI and author of the book “The Digital Mind: How Science Is Redefining Humanity “. The presentation will serve as a motto to launch the debate around the main challenges and scientific opportunities that the successive advances of the IA place in the context of Telecommunications and Multimedia. The panel discussion, moderated by the prestigious journalist Mário Augusto (RTP), also counts on the participation of the engineers Jorge Moreira (TEKEVER) and Pedro Ferreira (STRDEO) and the professors of U.Porto Hélder Oliveira (INESC TEC / FCUP) and João Canas Ferreira (FEUP / INESC TEC).

On March 3rd 2018 took place another edition of TEDxIST 2018 at Taguspark.

This year with equilibrium as a theme, INESC-ID researchers, Ana Paiva and Ana Teresa Freitas, talked about artificial intelligence and genetic data.

If you missed this edition or just want to hear this inspirational presentations again, here´s the videos:

[kad_youtube url=”https://www.youtube.com/watch?v=8WiIiOPXeDo&list=PLcD7q_eH5x2TWjN2IA4Kmnuqtu5fMVo92″ ]

Ana Teresa Freitas

[kad_youtube url=”https://www.youtube.com/watch?v=FYqcVx92Wds&index=5&list=PLcD7q_eH5x2TWjN2IA4Kmnuqtu5fMVo92 ” ]