TYPES 2003 - Call for Participation
stefano berardi
stefano@di.unito.it
Tue, 21 Jan 2003 15:40:38 +0100
This is a multi-part message in MIME format.
--------------090503020201050802020207
Content-Type: multipart/alternative;
boundary="------------070900080509060904010206"
--------------070900080509060904010206
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
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 <stefano@di.unito.it>
Organization: Dipartimento Informatica - Universita' Torino - Cso
Svizzera 185 - 10149 TORINO - ITALY
To: types-wg@durham.ac.uk
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
--------------070900080509060904010206
Content-Type: text/html; charset=us-ascii
Content-Transfer-Encoding: 7bit
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title></title>
</head>
<body>
The usual apologies for multiple copies<br>
<br>
Types 2003 Organisers<br>
<br>
-------- Original Message --------
<table cellpadding="0" cellspacing="0" border="0">
<tbody>
<tr>
<th valign="baseline" align="right" nowrap="nowrap">Subject: </th>
<td>[TYPES-WG] Call for Participation</td>
</tr>
<tr>
<th valign="baseline" align="right" nowrap="nowrap">Date: </th>
<td>Tue, 14 Jan 2003 12:02:22 +0100</td>
</tr>
<tr>
<th valign="baseline" align="right" nowrap="nowrap">From: </th>
<td>stefano berardi <a class="moz-txt-link-rfc2396E" href="mailto:stefano@di.unito.it"><stefano@di.unito.it></a></td>
</tr>
<tr>
<th valign="baseline" align="right" nowrap="nowrap">Organization: </th>
<td>Dipartimento Informatica - Universita' Torino - Cso Svizzera 185
- 10149 TORINO - ITALY</td>
</tr>
<tr>
<th valign="baseline" align="right" nowrap="nowrap">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:types-wg@durham.ac.uk">types-wg@durham.ac.uk</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<title></title>
<div class="moz-text-plain" wrap="true" graphical-quote="true"
style="font-family: -moz-fixed; font-size: 13px;" lang="x-western">
<pre wrap=""><b> TYPES 2003 - TORINO</b>
<b> CALL FOR TALK, DEMO, AND REGISTRATION</b>
<b>(DEADLINE: MARCH, 20 2003)</b>
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:
<a
class="moz-txt-link-freetext" href="http://types2003.di.unito.it/">http://types2003.di.unito.it/</a>
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
<a
class="moz-txt-link-abbreviated" href="mailto:types2003@di.unito.it">types2003@di.unito.it</a>
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 <b>(DEADLINE: MARCH, 20 2003) </b>AND THE REGISTRATION FORM
</pre>
</div>
</body>
</html>
--------------070900080509060904010206--
--------------090503020201050802020207
Content-Type: text/html; charset=us-ascii;
name="HowToRegister.html"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
filename="HowToRegister.html"
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="Mozilla/4.5 [it] (WinNT; I) [Netscape]">
</head>
<body>
This Registration Form must be fully completed, signed, and faxed to:
<center>+39 011 751603
<br>Turin University, C.S. Dept., Miss Daniela Costa and Mrs Claudia Goggioli</center>
together with the <u>receipt </u>of your bank transfer. A separate reservation
form must be sent to the Hotel (see next page). <b><u>Notice that Reservation
must be send to a different fax number than Registration </u></b>.
<li>
Registration deadline (strict!) is <u>March, 20, 2003, and its cost is
250,00 Euro.</u></li>
<li>
Bank transfer expenses for payments must be totally charged to the payee's
account. We must receive the exact amount of money required.</li>
<li>
Bank coordinates are:</li>
<blockquote>- <b>SANPAOLO IMI S.p.A. </b> - Sede
di Via Monte di Pietà, 32 - Torino (Italy)
<br>- <u>Account name</u> : Dipartimento di Informatica
<br>- <u>Account number</u> : 395334
<br>- <u>Bank code</u> : <u>ABI</u> = 1025 - <u>CAB</u>
= 1100
<br>- <u>SWIFT address</u> : IBSP IT TM 500
<br>- <u>Bank transfer within Italy</u>: ABI 1025 CAB 1100
<br>- <u>International Bank Transfer</u>: IBAN IT53 N010
2501 1001 0000 0395334
<br> </blockquote>
<li>
Please make sure that your name, address and the "Types2003" keyword appear
on the bank transfer request.</li>
<center>
<h3>
Download here the <a href="RegistrationForm.html">registration form</a></h3></center>
For any administrative questions, please contact: Types 2003 - Mrs Claudia
Goggioli. E- mail : <a href="HREF="mailto:dezani@goggioli@di.unito.it?subject="types" 2003: administrative question">goggioli@di.unito.it
</a>.
Phone : +39 011 670 6790. Fax : +39 011 751603
</body>
</html>
--------------090503020201050802020207
Content-Type: text/html; charset=us-ascii;
name="RegistrationForm.html"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
filename="RegistrationForm.html"
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="Mozilla/4.5 [it] (WinNT; I) [Netscape]">
</head>
<body>
<center>
<h2>
Types 2003: Registration Form</h2></center>
This Registration Form must be fully completed, signed, and faxed to:
<center>
<h3>
+39 011 751603</h3></center>
<center>
<h3>
Turin University, C.S. Dept., Miss Daniela Costa and Mrs Claudia Goggioli</h3></center>
together with the <u>receipt </u>of your bank transfer. A separate reservation
form must be sent to the Hotel (see the page "Reservation Form for the
Hotel"). <b><u>Notice that Reservation must be send to a different fax
number than Registration </u></b>.
<br>
<br>
<li>
Last Name:
_____________________________________</li>
<br>
<li>
First Name:
_____________________________________</li>
<br>
<li>
Institution Name:
_____________________________________</li>
<br>
<li>
Department:
_____________________________________</li>
<br>
<li>
Department Address: _____________________________________</li>
<br>
<li>
Town:
_____________________________________</li>
<br>
<li>
Post Cod :
_____________________________________</li>
<br>
<li>
Country:
_____________________________________</li>
<br>
<li>
email:
_____________________________________</li>
<br>
<li>
Telephone:
_____________________________________</li>
<br>
<li>
Fax:
_____________________________________</li>
<p><br>Signature
<p>_________________________
<p>For any administrative questions, please contact: Types 2003 - Mrs Claudia
Goggioli. E- mail : <a href="HREF="mailto:dezani@goggioli@di.unito.it?subject="types" 2003">goggioli@di.unito.it
</a>.
Phone : +39 011 670 6790. Fax : +39 011 751603
</body>
</html>
--------------090503020201050802020207--