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