[Haskell] [bctcs05-info] BCTCS 2005 Announcement

[Graham Hutton]

+--------------------------------------------------------------------+

		 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 at 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.