TYPES 2003 - Call for Participation

Tue, 21 Jan 2003 14:00:47 -0800

The usual apologies for multiple copies
        
               Types 2003 Organisers

-------- Original Message --------
Subject: [TYPES-WG] Call for Participation
Date: Tue, 14 Jan 2003 12:02:22 +0100
From: stefano berardi <[EMAIL PROTECTED]>
Organization: Dipartimento Informatica - Universita' Torino - Cso Svizzera 185 - 10149 TORINO - ITALY
To: [EMAIL PROTECTED] 


  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

                        [EMAIL PROTECTED]

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.

    • Download here the registration form

    For any administrative questions, please contact: Types 2003 - Mrs Claudia Goggioli. E- mail : [EMAIL PROTECTED] . 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 : [EMAIL PROTECTED] . Phone : +39 011 670 6790. Fax : +39 011 751603

    Reply via email to