[Haskell] [bctcs05-info] BCTCS 2005 call for participation

[Graham Hutton]

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