Distinguished Lecture

Prof. Milind Tambe, University of Southern California – Abstract: With the maturing of AI and multiagent systems research, we have a tremendous opportunity to direct these advances towards addressing complex societal problems. I will focus on the problems of … Continued

Andreas Zeller, CISPA Helmholtz Institute for IT Security – Abstract: Software has bugs. What can we do to find as many of these as possible? In this talk, I show how to systematically test software by generating such tests automatically, … Continued

Jack Edmonds, – Abstract: NP and P have origins in “the marriage theorem”: A matchmaker has as clients the parents of some boys and some girls where some boy-girl pairs love each other. The matchmaker must find a marriage … Continued

Norbert Fuhr, University of Duisburg-Essen, Germany – Abstract: Stochastic models have a long history in information retrieval (IR). For modeling sequences of interactions, different variants of Markov models have been proposed by a number of researchers. Here a user moves … Continued

Andrew Myers, Cornell University, USA – Abstract: Programming concurrent, distributed systems that mutate shared, persistent, geo-replicated state is hard. To enable high availability and scalability, a new class of weakly consistent data stores has become popular. However, some data needs … Continued

Giancarlo Guizzardi , Free University of Bolzano-Bozen, Italy – Abstract: In the years to come, we will experience an increasing demand for building Reference Conceptual Models in critical domains in reality, as well as employing them to address classes of … Continued

On May 11th, at 11am, INESC-ID will promote the 11th session of IST Distinguished Lecture Series entitled “Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing”. The lecture will be given by Professor K. J. Ray Liu, Distinguished … Continued

Kurt Mehlhorn, Max-Planck-Institute for Informatics – Abstract: I am mostly interested in algorithms for difficult combinatorial and geometric problems: What is the fastest tour from A to B? How to optimally assign jobs to machines? How can a robot move … Continued