The Coq mailing list

[Thorsten Altenkirch <txa AT Cs.Nott.AC.UK>]

Hi everybody,

it is now possible to register for the small TYPES workshop on  
Dependently
Typed Programming in Nottingham - see http://sneezy.cs.nott.ac.uk/ 
darcs/DTP08/

The workshop is taking place 18-20 February in Nottingham at the NCSL
conference centre. This is on campus but much nicer than the usual
student accomodation!

We have two invited speakers: Lennart Augustsson and Xavier Leroy.

For more details see the webpage: http://sneezy.cs.nott.ac.uk/darcs/ 
DTP08/

Please register soon, there is a limit of accomodation at NCSL and we  
have
to confirm our reservation by Monday, 21/2/08.

Cheers,
Thorsten

P.S. If you are a member of a TYPES site you can claim the costs from  
the EU TYPES project.
------------------------------------------------------------------------ 
---------------------------------------------------

REGISTRATION FORM FOR "Dependently Typed Programming 08"

Name :
Affiliation :

I would like to give a talk / I would not like to give a talk.

If you would like to give a talk:

Long Talk (ca 30 minutes) / Short talk (ca 10 minutes)
Title :
Abstract:

Nights at NCSL : 17-18, 18-19, 19-20

Payment : GBP125 x nights + GBP50 (including meals and accomodation)
                   Default: GBP425

*If you want to stay additional nights please let us know, we will  
try to book them*
*If you prefer to use alternative accomodation, you will have to pay  
the rate for day delegates: GBP50/day + GBP 50*
                   GBP 50 x day + GBP 50 (including meals but  
without accomodation)

PAYMENT

You can either pay
- by credit card
  Fill out the form available from
  http://sneezy.cs.nott.ac.uk/darcs/DTP08/card-payment-form-1.doc
  and either send it to 
dtpnott08 AT cs.nott.ac.uk
 by email
  OR fax it to F:+44 (0) 115 951 4254 (Attn: Elizabeth Clunie)

- by bank transfer

Bank Name                     : NatWest
Bank Address                 : University Park, Nottingham NG7 2AG, UK
Branch Sort Code            : 60-15-49
Branch Swift                    : NWBKGB2L
IBAN Number                : GB42NWBK6015 4988 9700 00
Bank Account Number   : 88970000
Bank Account Name      : University of Nottingham
VAT Number                  : 690 3912 25
Reference                      :DTP-08

(Please let us know by email that you have authorized the bank  
transfer).


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.