[Prev][Next][Index][Thread]

TYPES 2003 - Call for Participation


  TYPES 2003 - TORINO

              CALL FOR TALK, DEMO, AND REGISTRATION
                    (DEADLINE: MARCH, 20 2003)

Types 2003 will be held in Villa Gualino, a peaceful Villa with park
and a scenic viewpoint, located in the hills facing the centre of
Torino, Italy, from April, 30 (Wensday morning) to May, 4 (Sunday
afternoon).  Congress period includes Thursday, May 1, Labour Day in
many countries.  This could help people in the teaching semester.
Invited speakers include Per Martin-Lof and Frank Pfenning.  More
informations about the workshop can be found at:

                    http://types2003.di.unito.it/

Topics include, but are not limited to:

* Applications of type theory, type theory and functional programming,
  industrial uses of type theory technology.
* Meta-theoretic studies of type systems
* Implementation of proof-assistants, automation in computer-assisted
  reasoning.
* Formalizing mathematics using type theory
* Constructivism and Fundation of Mathematics.

Demo are welcomed. Who is willing to give a talk or a demo must send
a mail to

                        types2003@di.unito.it

with
  - a title of the talk/demo,
  - a short abstract in plain text,
  - the list of co-authors and
  - the name of who is expected to give the talk or demo.
Talks are expected to last about 30 minutes, incuding discussion.
No referee process will take place. The organizers may discuss with the
interested site leaders the possibility of cancelling or shortening some
talk in case of necessity.  People who will give a talk are incouraged
to make available on the web the related material (slides and/or
reports).

   Following the previous types meeting we hope to publish the
post-proceedings of the workshop in the Springer LNCS
series. Submission of paper and formal refering process will be be
carried on after the conference. As usual submission will not be
restricted to the paper presented at the conference.
  
   WE ATTACH INSTRUCTIONS FOR REGISTERING (DEADLINE: MARCH, 20 2003) AND 
THE REGISTRATION FORM


This Registration Form must be fully completed, signed, and faxed to:
+39 011 751603
Turin University, C.S. Dept., Miss Daniela Costa and Mrs Claudia Goggioli
# together with the receipt of your bank transfer. A separate 
reservation form must be sent to the Hotel (see next page). Notice that 
Reservation must be send to a different fax number than Registration . 
Registration deadline (strict!) is March, 20, 2003, and its cost is 
250,00 Euro.
# Bank transfer expenses for payments must be totally charged to the 
payee's account. We must receive the exact amount of money required.
# Bank coordinates are:
- SANPAOLO IMI S.p.A.   -   Sede di Via Monte di Pietà, 32 - Torino (Italy)
- Account name :    Dipartimento di Informatica
- Account number :    395334
- Bank code :   ABI = 1025  -  CAB = 1100
- SWIFT address :    IBSP IT TM 500
- Bank transfer within Italy:   ABI 1025 CAB 1100
- International Bank Transfer:    IBAN IT53 N010 2501 1001 0000 0395334
#   Please make sure that your name, address and the "Types2003" keyword 
appear on the bank transfer request.

For any administrative questions, please contact: Types 2003 - Mrs 
Claudia Goggioli. E- mail : goggioli@di.unito.it . Phone : +39 011 670 
6790. Fax : +39 011 751603


Types 2003: Registration Form
This Registration Form must be fully completed, signed, and faxed to:
+39 011 751603
Turin University, C.S. Dept., Miss Daniela Costa and Mrs Claudia Goggioli
together with the receipt of your bank transfer. A separate reservation 
form must be sent to the Hotel (see the page "Reservation Form for the 
Hotel"). Notice that Reservation must be send to a different fax number 
than Registration .
 
#   Last Name:                     _____________________________________

#   First Name:                     _____________________________________

#   Institution Name:             _____________________________________

#   Department:                    _____________________________________

#   Department Address:      _____________________________________

#   Town:                             _____________________________________

#   Post Cod  :                     _____________________________________

#   Country:                         _____________________________________

#   email:                              
_____________________________________

#   Telephone:                      _____________________________________

#   Fax:                                
_____________________________________


Signature

_________________________

For any administrative questions, please contact: Types 2003 - Mrs 
Claudia Goggioli. E- mail : goggioli@di.unito.it . Phone : +39 011 670 
6790. Fax : +39 011 751603