Language Learning for Verification of Configuration Files

Seminar | 336 | 11:00

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

Biomedical Image Informatics

Seminar | 020 | 11:30

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

The Future of Multidimensional Video Capture

Seminar | TagusPark A2 | 17:00

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

Human error is not the problem

Seminar | INESC-ID Tagus Park, sala 2.10 | 10:00

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

Symbolic Execution for Evolving Software

Seminar | 020 | 11:00

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

Haptic Interfaces & Virtual Reality

Seminar | room 1.38 @ INESC-ID TagusPark | 11:30

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

1 2 3 4 5 6 61