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.

Það verður fundur hjá Íslenska stærðfræðafélaginu fimmtudaginn 24. mars í stofu 157 í VR-II, bygginu Verkfræði- og náttúruvísindasviðs við Hjarðarhaga. Hann hefst kl. 16:45 og lýkur 18:15.

Þetta verður kynningarfundur á framhaldsnámi í stærðfræði og tengdum greinum. Nemendum við HÍ og HR hefur verið sérstaklega boðið á fundinn og mun félögum Íslenska stærðfræðafélagsins gefast kostur á að miðla reynslu sinni til þeirra. Allir eru velkomnir og við hvetjum sérstaklega þá sem hafa lokið framhaldsnámi á þessari öld til að mæta.

Boðið verður upp á hressingu á fundinum.

Íslenska stærðfræðafélagið efnir til umræðufundar um stærðfræði í framhaldsskólum. Fundurinn verður miðvikudaginn 23. febrúar 2011 frá 15:30 til 18:30 í Menntaskólanum við Hamrahlíð. Allir sem hafa áhuga á að taka þátt í fundinum eru velkomnir.

Jólafundur félagsins hefur í gegnum tíðina mótast af hinu alíslenska jólaboði. Auk þess að drekka kaffi og súkkulaði og borða smákökur hafa félagsmenn hlýtt á óformlegt erindi. Að þessu sinni mun Hermann Þórssion flytja erindi sem hann nefnir: Um líkindahugtakið. Við hvetjum alla til að mæta, sérstaklega þá félagsmenn sem hafa aðsetur í útlöndum.