Professor Roberto Giacobazzi of the University of Verona, Italy and University of Verona, Italy visiting faculty member is hosting a Shonan Meeting on Intensional and extensional aspects of computation: From computability and complexity to program analysis and security. The meeting takes place at the Shonan Village Center, Japan, January 22–25.