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/1/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).

_______________________________________________
dtpnott08 mailing list
dtpnott08 AT cs.nott.ac.uk
http://www.cs.nott.ac.uk/mailman/listinfo/dtpnott08

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.