Dear all, The registration deadline for the British Colloquium for Theoretical Computer Science (BCTCS) is just a few weeks away (7 Feb.) Apart from being encouraged to register yourself, please pass this message on to your colleagues and students, and encourage them to register too! Two dozen free places for UK-based PhD students are available. Best wishes, Graham Hutton (organiser) +--------------------------------------------------------------------+ 21st British Colloquium for Theoretical Computer Science BCTCS 2005 22-24 March 2005 University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh/bctcs05.html 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, University of Nottingham 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 free registrations for UK-based PhD students are available. Registration is now open. SPONSORS The colloquium is sponsored by EPSRC and LMS. 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.