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

Teams, Swarms, Crowds, and Collectives: Special Cases?

Seminar | IST Tagusparque, room 1.38 | 15:00

Gal Kaminka , Bar Ilan University – Abstract: Teams of agents and robots, swarms of robots or animals, crowds of people, and collectives (of everything) permeate our technological, biological, and sociological worlds. They have inspired generations of researchers in multi-agent … Continued

Cooperation with the National Institute of Informatics

Seminar | 336 | 09:30

Henri Angelino, National Institute of Informatics, Tokyo – Abstract: This visit intends to present the National Institute of Informatics, Tokyo (NII) to the research and development institutions with whom NII cooperates through a general presentation of NII and the internship … Continued

1 2 3 4 5 6 7 61