Learning with Sociable Robots and Artifacts
Sandra Y. Okita, Teachers College, Columbia University – Abstract: People often turn to others to improve their own learning. Technological artifacts (e.g. humanoid robots, pedagogical agents/avatars) often consist of human-like qualities ranging across appearance, behavior, and intelligence. These features often elicit a social response from…
Atomic Transaction Commit for Modern Data Stores
Alexey Gotsman, IMDEA Software Institute in Madrid – Abstract: Modern data stores often need to provide both high scalability and strong transactional semantics. They achieve scalability by partitioning data into shards and fault-tolerance by replicating each shard across several servers. A key component of such…
Tezos, a blockchain by scientists: principles and applications
Diego Pons, – Abstract: Tezos is a blockchain done by computer scientists most of them related to the INRIA. As a result, Tezos is written in OCaml, advocates solid algorithms, domain specific languages for smart contracts and formal verification. We will expose some of the…
TerraHidro: Modelação Hidrológica Distribuída
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 sistema TerraHidro, voltado para modelagem…
SCHOOLS ARE STUCK, CAN GAMES FIX THEM?
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 virtual) self-improvement goals – games….
Scalability and Efficiency in Graph Mining
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 we discuss some of these…
Firewall Configuration: Rule Sets and Usability
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 description of the problem and a…
Socially Competent Robot Navigation
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, the lack of channels of…
From Runtime Failures to Patches: Study of Patch Generation in Production
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, but also because it requires…
Personalizing Personal Robots
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 around them, and adapt themselves…
40 Years of Science and Knowledge: The ability to create new technology-based companies
The second session to celebrate INESC 40th years will take place on October 8, at 5 p.m., at Calouste Gulbenkian Foundation (Auditorium II).
This session will be transmitted live.
17:00 Opening session
Leonel Sousa (INESC Lisboa/IST)
17:10 Keynote speech
Carlos Moedas (Fundação Calouste Gulbenkian)
17:30 Panel I: The first wave: networks and services
José Alves Marques (LINK/IST)
João Nuno Bento (Novabase)
Pedro Ramalho Carlos (Shilling Founders Fund)
Luís Alveirinho (Altice)
Moderator: Isabel Trancoso (INESC-ID/IST)
18:15 Panel II: The second wave: software and artificial intelligence
Vasco Pedro (Unbabel)
Ana Teresa Freitas (HeartGenetics)
Jaime Jorge (Codacy)
João Paulo Neto (Voice Interaction)
Moderator: Joaquim Sérvulo Rodrigues (Armilar)
19:00 Four decades creating value
Arlindo Oliveira (INESC/IST)
José Tribolet (INESC)
António Costa, Prime Minister (to confirm)
[Registration will be open soon]
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 will take place between the 24th and 28th of October at Alfândega Porto Congress Centre, in Porto.
ICST 2020 aims to supply a common forum for researchers, scientists, engineers and practitioners all over the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.
Energy Virtual Experience – EVEx 2020
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from October 26 to 30.
“Energy Virtual Experience” will provide 4 different interactive experiences: EVEx Talks, EVEx MasterClass, EVEx Academy, and EVEx Expo/Busines. These four experiences will be centered on “Ibero-American post-pandemic energy transition”.
Looking to stimulate interdisciplinary studies and innovative solutions in energy area, call for papers and projects will be launched soon.
INESC-ID researcher and IST Professor, Rui Castro, is member of the scientific committee of EVEx 2020.
|More information will be coming soon|