Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2016-02-03. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.
– School of Information Technology's distinguished speaker series.
Professor Jorge Armony, McGill Univ, Montreal.
March 13 at 13:15 in Wigforssalen house Visionen, Halmstad University.
Title, abstract and bio will be published soon. Welcome back!
Jos Baeten, Professor in Theory of Computing, University of Amsterdam, the Netherlands.
January 7, 2017.
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)
Professor Enrique Alba from University of Málaga, Spain.
June 4, 2015.
The concept of Smart Cities can be understood as a holistic approach to improve the level of development and management of the city in a broad range of services by using information and communication technologies. It is common to recognize six axes of work in them: i) Smart Economy, ii) Smart People, iii) Smart Governance, iv) Smart Mobility, v) Smart Environment, and vi) Smart Living. This talk focuses on a capital issue – smart mobility – and discusses potential applications of intelligent systems for energy, environmental applications, smart building, and several other applications linked to smart living, tourism, and smart municipal governance. About Enrique Alba. (pdf, 46.7 kB)