Distinguished Lecture

Nicola Guarino, National Research Council (CNR) – Abstract: Enterprise modeling requires, of course, to pay attention to different kinds of business relationships. In many cases, we really need to talk of such relationships, for instance where the contractual conditions that … Continued

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