29 Oct 2013
London, U.K.
29th October LMS: Mathematics Research Beyond the Blackboard The London Mathematical Society's annual Computer Science Colloquium will be held on Tuesday 29th October 2013 on the theme of Mathematics Research Beyond the Blackboard. Speakers: John Harrison (Intel), Steve Linton (St Andrews), Ursula Martin (QMUL), Nick Trefethen (Oxford) In recent years computer science has made a variety of contributions to the way mathematics research is done. These range from formal proofs of results too complex for humans to do by hand, such as the Kepler conjecture, to sophisticated computational tools such as chebfun for analysis and GAP for algebra and combinatorics, and even the use of social media to "crowdsource" proofs. The colloquium presents introductory talks, aimed at the level of interested graduate students or postdocs, for those who want to know more about these new ways of doing mathematics research, with ample scope for questions and discussion. The event takes place at the Headquarters of the London Mathematical Society, de Morgan House 57-58 Russell Square London. WC1B 4HS Full abstracts and a registration form at http://www.lms.ac.uk/events/computer-science-day Please contact Duncan Turton (computerscience@lms.ac.uk) for further information. The day is free for students and £5 for all others which is payable on the day. Limited funds are available to help with students? travel costs.