Category: Seminar

Language Learning for Verification of Configuration Files

Mark Santolucito, Yale University – Abstract: Software failures resulting from configuration errors have become commonplace as modern software systems grow increasingly large and more complex. The lack of language constructs in configuration files, such as types and specifications, has directed the focus of a configuration…

Biomedical Image Informatics

David Breen, Drexel University – Abstract: The goal of biomedical image informatics is to develop techniques and systems that extract quantitative information from biomedical images and construct robust models of the structures and processes captured in the images. The word “images” is used in its…

The Future of Multidimensional Video Capture

Brian K Cabral, facebook – Abstract: The advent of small monoscopic 360 cameras and stereo capture camera’s like Surround360 have ushered in a new era of multidimensional video image capture. It represents a transition in media nearly as profound as the transition from film video…

Human error is not the problem

Harold Thimbleby, University of Wales Swansea – Abstract: Error, if it was a disease, would be classified as the third biggest killer after cancer and heart disease. Why is it neglected, and what can be done? When something bad happens to a patient, then surely…

Symbolic Execution for Evolving Software

Cristian Cadar, Imperial College London – Abstract: One of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis. Unfortunately, many of these changes bring unexpected bugs…

Haptic Interfaces & Virtual Reality

Makoto Sato, Tokyo Institute of Technology – Abstract: This talk presents the history and evolution of the haptic interface system SPIDAR. Since its first version in 1989, SPIDAR system was adopted and customized to various kinds of virtual environments to meet user and task’s requirements….

© 2019, INESC-ID. All rights reserved  |  Terms of Use  |  Data Protection  |  Intranet