Francisco Miranda, SpotGames – Abstract: Today’s children and young people are increasingly disinvesting from their school paths. However, one approach has been dramatically effective in motivating all young people to pursue, in a dedicated and persistent way, personal (though seemingly … Continued
VMCAI Winter School is a winter school on formal methods associated with VMCAI 2019 that will take 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 … Continued
Wagner Meira Jr, Universidade Federal de Minas Gerais – Abstract: Despite significant research, graph mining remains a challenging task, due to characteristics such as its computational complexity and the large spectrum of models that may be mined. In this talk … Continued
During the ICGI’2018 Conference, that took place between 15 and 16 November 2018 at the Faculty of Sciences of the University of Lisbon, in Portugal, INESC – ID Researcher Daniel Mendes was awarded the 2018 edition of the annual “Professor José … Continued
Leonardo A. Martucci, – Abstract: In this presentation we report on our work in measuring the usability of rule sets in terms of how easy it is for system administrators to understand and manage them. We begin with a … Continued
Chris Mavrogiannis, Cornell University – Abstract: Crowded human environments such as pedestrian scenes constitute challenging domains for mobile robots, for a variety of reasons including the heterogeneity of pedestrians’ decision making mechanisms, the lack of universal formal rules regulating traffic, … Continued
INESC-ID has been asked to present the RAGE project on 20 and 21 November 2018 at a meeting of the European Parliament in Brussels. Together with 9 other projects, the RAGE project has been selected from hundreds of current research … Continued
Thomas Durieux, INRIA – Abstract: Patch creation is one of the most important actions in the life cycle of an application. Creating patches is a time-consuming task. Not only because it is difficult to create a sound and valid patch, … Continued
Dan Grollman, Misty Robotics – Abstract: In this talk I’ll present some ideas on how to make your robot truly your own. Beyond sensing, thinking, and acting, robots need to feel and express their own unique interpretation of the world … Continued
