+--------------------------------------------------------------------+ ANNOUNCEMENT (REGISTRATION NOW OPEN) 21st British Colloquium for Theoretical Computer Science BCTCS 2005 22-24 March 2005 University of Nottingham, UK The purpose of BCTCS is to provide a forum for researchers in theoretical computer science to meet, present research findings, and discuss developments in the field. It also aims to provide an environment for PhD students to gain experience in presenting their work, and benefit from contact with established researchers. SCOPE The scope includes all aspects of theoretical computer science, such as algorithms, complexity, semantics, formal methods, concurrency, types, languages and logics. Computer scientists, mathematicians and researchers from outside of the UK are all welcome to attend. PROGRAMME The programme will consist of 2.5 days of invited talks, tutorials, and contributed talks. The invited speakers are as follows: Games for Algorithmic Problem Solving Prof Roland Backhouse, University of Nottingham The Soft Machines: Computing with the Code of Life Prof Alan Gibbons, King's College London Dr Martyn Amos, University of Exeter Samoa: Formal Tools for Securing Web Services Dr Andrew Gordon, Microsoft Research, Cambridge Number Systems and Data Structures Dr Ralf Hinze, University of Bonn Dependently Typed Programming: An Epigram Induction Dr Conor McBride, Royal Holloway, University of London Succinctness Prof Rajeev Raman, University of Leicester LOCATION The colloquium will be held on the Jubilee Campus of the University of Nottingham, which has won many awards for its design and environmental features. Nottingham is centrally located in the UK, and is easily reachable by road, rail and air (Nottingham East Midlands Airport.) REGISTRATION The deadline for registration and submission of proposed talks is 7 February 2005. The registration fee is 275 UK pounds, including accomodation and all meals. Two dozen funded places for UK-based PhD students have been applied for. Registration is now open. SPONSOR The colloquium is sponsored by the London Mathematical Society. FURTHER DETAILS Google search - BCTCS 2005 Web page - http://www.cs.nott.ac.uk/~gmh/bctcs05.html +--------------------------------------------------------------------+ _______________________________________________ bctcs05-info mailing list bctcs05-info@cs.nott.ac.uk http://www.cs.nott.ac.uk/mailman/listinfo/bctcs05-info This message has been scanned but we cannot guarantee that it and any attachments are free from viruses or other damaging content: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.