Category: Seminar

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…

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…

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…

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….

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…

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…

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…

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…

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…

Yair Amir , Johns Hopkins University – Abstract: Emerging applications such as remote manipulation and remote robotic surgery require communication that is both timely and reliable, but the Internet natively supports only communication that is either completely reliable with no timeliness guarantees (e.g. TCP) or…