Sketching as an engine of research and development thinking
Anna Lobovikov-Katz, Technion – Abstract: Sketching is a natural way to communicate ideas quickly: with only a few pencil strokes, complex shapes can be evoked in viewers. Freehand sketching is well-known for its contribution to the development of spatial-visual ability, which is a must for…
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…
Mathematics, Physics & Machine Learning Seminar Series (Online)
The Mathematics, Physics & Machine Learning seminar series has started on October 2020 and runs until March 2021.
The seminars aim to bring together mathematicians and physicists interested in machine learning (ML) with ML and AI experts interested in mathematics and physics, with the goal of introducing innovative Mathematics and Physics-inspired techniques in Machine Learning and, reciprocally, applying Machine Learning to problems in Mathematics and Physics.
Attendance is free but registration is required.
More information is available here.
Energy Virtual Experience – EVEx 2020
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from 23rd to 27th November 2020.
“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.
IST /INESC-ID Distinguished Lecture – An Ethical Crisis in Computing?
Computer scientists think often of “Ender’s Game” these days. In this award-winning 1985 science-fiction novel by Orson Scott Card, Ender is being trained at Battle School, an institution designed to make young children into military commanders against an unspecified enemy. Ender’s team engages in a series of computer-simulated battles, eventually destroying the enemy’s planet, only to learn then that the battles were very real and a real planet has been destroyed.
The benefits of computing seemed intuitive to us. We truly believe that computing yields tremendous societal benefits; for example, the life-saving potential of driverless cars is enormous! Like Ender, however, we realized recently that computing is not a game–it is real–and it brings with it not only societal benefits, but also significant societal costs, such as labor polarization, disinformation, and smart-phone addiction.
The real issue is how to deal with technology’s impact on society.
Technology is driving the future, but who is doing the steering?
Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the recipient of several awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award.
He is the author and co-author of over 650 papers, as well as two books. He is a fellow of several societies, and a member of several academies, including the US National Academy of Engineering and National Academy of Science.
He holds seven honorary doctorates. He is a Senior Editor of the Communications of the ACM, the premier publication in computing.