VMCAI Winter School 2019

Centro de Congressos (Pavilhão de Civil) | 09:00

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

TerraHidro: Modelação Hidrológica Distribuída

Seminar | 020 | 11:00

Sérgio Rosim, Instituto Nacional de Pesquisas Espaciais, Brasil – Abstract: Apresentação das geotecnologias, pesquisas e desenvolvimentos de sistemas voltados para aplicações com dados espaciais na Divisão de Processamento de Imagens do Instituto Nacional de Pesquisas Espaciais – INPE, Brasil. O … Continued


Seminar | IST Taguspark - Room 2.10 | 11:00

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

Scalability and Efficiency in Graph Mining

Seminar | 336 | 10:00

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

Socially Competent Robot Navigation

Seminar | Room 1.38 - IST Taguspark | 11:00

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

Personalizing Personal Robots

Seminar | Room 1.38 (Taguspark). | 11:00

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

1 2 3 4 5 71