[Haskell] [bctcs05-info] BCTCS 2005 Announcement

[Graham Hutton]

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

			     ANNOUNCEMENT

       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:

   Alan Gibbons   - King's College London
   Andrew Gordon  - Microsoft Research, Cambridge
   Ralf Hinze     - University of Bonn
   Conor McBride  - University of Durham
   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 car, train and plane (Nottingham East Midlands Airport.)

REGISTRATION

The deadline  for registration and  submission of proposed talks  is 7
February  2005.  The  registration fee  will be  approximately  275 UK
pounds, including  accommodation and all meals.   Twenty funded places
for UK-based PhD students are in the process of being sought.

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.