Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2016-05-04. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.
– School of Information Technology's distinguished speaker series.
No Colloquium talks are planned at the moment, the information will be updated with the talks for the next semester. Welcome back!
Dr. Ulrike Schultze, Cox Business School, Dallas, USA
April 29, 2016
As people spend more time online and invest more of themselves in virtual communities and relationships, they become increasingly entangled with the digital material that results from their online activities. Who they are, what they can do and who they can become is inextricably intertwined with the identities their virtual bodies (e.g., emails, texts, images, videos, profiles and avatars) afford. They are cyborgs, that is, human beings whose bodies and identities are inextricably intertwined with and extended through technology.
Professor Jorge Armony, McGill University, Montreal.
March 14, 2016.
Emotional communication is a key component of everyday social interactions, and it can even be crucial for survival (e.g., by signaling the presence of an imminent threat). Fortunately, our brains are equipped with the necessary machinery to rapidly and accurately decode other people's emotional expressions. In this talk I present findings from our group (and others) exploring neural responses to emotional and social stimuli in the visual (facial and body expressions) and auditory ( voice and music) modalities, using neuroimaging approaches.
Video vill be published soon!
Jos Baeten, Professor in Theory of Computing, University of Amsterdam, the Netherlands.
January 7, 2016.
The talk surveys what happens when computability theory is integrated with concurrency theory, which theorems remain valid and which theorems should be adapted. The Reactive Turing Machine is introduced as a model of computability with interaction. About Jos Beaten. (pdf, 52.1 kB)
Professor Eugenio Moggi, University of Genoa, Italy.
August 19, 2015.
Hybrid systems can exhibit a range of pathologies that are hard to rule out without making a modeling formalism overly restrictive. Addressing these pathologies, many of which relate to so-called Zeno behaviors, is a prerequisite to being able to give sound definitions of fundamental concepts in hybrid systems, such as reachability. About Eugenio Moggi. (pdf, 219.8 kB)