The 2nd Wroclaw Logic Conference

May 31st -- June 2nd