Personal tools
You are here: Home Events Leonid Libkin: Atacama desert and incomplete information

Leonid Libkin: Atacama desert and incomplete information

Atacama desert is the driest place on earth and is so similar to Mars that Nasa uses it to test instruments for its Mars missions. As any other desert, it has oases which be used as nice escape places to discuss reseacrh. Running a workshop there would entail a not-so-short trip from Santiago (which takes a full day to get to from here), so I’ll tell you about the place first, and then briefly mention one question discussed there. It has to do with the old idea of connecting powerdomains with incompleteness in databases. It had to be revisited lately; I’ll tell you why, and then we’ll see how Gordon’s name (Plotkin powerdomain) appears in a somewhat unusual context.

What
When May 08, 2012
from 01:00 PM to 02:00 PM
Add event to calendar vCal
iCal
Document Actions