Invited Speakers

Georges Gonthier, Microsoft Research Cambridge;
Alexander Razborov, IAS Princeton and Steklov Institute Moscow.