We have now entered the heavy part of the program. Wednesday saw an interesting talk in the morning by György Dan of the KTH here in Stockholm. He discussed dynamical analysis of the workings of various peer-to-peer systems. Then the day continued with the K-SAT related licentiate thesis defense of John Ardelius (SICS, Stockholm). This was aptly carried out via Skype since his opponent Bart Selman (Cornell) is not yet here.
And, on Thursday morning commenced the program. The many talks are on the web program, just to mention that Supriya Krishnamurthy was the first speaker. Tonight the main social event is a visit to the opera. We had about 50 people typically present.