Georges Gonthier of Microsoft Research will give a talk at Reykjavik University, room V.1.01, on Thursday May 26. The meeting will start with refreshments at 4:30 pm and the talk will start at 5 pm. The title is: Verifying the Four Colour Theorem.
This is a joint event with ICE-TCS, the Icelandic Centre for Excellence in Computer Science at Reykjavik University.