# School on Typed Lambda Calculus ( final announcement )

Please find below the text and LateX versions of
- the final Announcement of the "Advanced School on Typed Lambda Calculus and
Functional Programming" to be held in Udine (ITALY) September 19-30, 1994
- Application Form
- Grant Application Form

[A preliminary announcement appeared earlier -- Moderator]

A D V A N C E D   S C H O O L   O N
T Y P E D   L A M B D A   C A L C U L U S
A N D   F U N C T I O N A L   P R O G R A M M I N G

S e p t e m b e r   1 9  -  S e p t e m b e r   3 0 , 1 9 9 4
C I S M  ,  P a l a z z o   d e l   T o r s o
P i a z z a   G a r i b a l d i   1 8
U d i n e  -  I T A L Y

THE ADVANCED SCHOOL IS ORGANIZED UNDER THE AUSPICES OF THE ITALIAN CHAPTER OF

EATCS (EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE) AND UNESCO.

IT IS SPONSORED AND SUPPORTED BY:

- U N E S C O  PROJECT FUND IN TRUST WITH THE ITALIAN FOREIGN MINISTRY:
"EDUCATION IN BASIC SCIENCES FOR INFORMATICS"

- UNIVERSITA' DEGLI STUDI DI UDINE

- CONSIGLIO NAZIONALE DELLE RICERCHE "COMITATO CONSULTIVO PER LA MATEMATICA".

S C H O O L    D I R E C T O R S

- M a r i a n g i o l a   D e z a n i   C i a n c a g l i n i  (Torino)

- F u r i o   H o n s e l l  (Udine)

L I S T   O F   S P E A K E R S

J e a n - Y v e s   G i r a r d  ( Marseilles)
PROOF THEORETIC FOUNDATIONS

G e r a r d   H u e t  (INRIA Rocquencourt)
ADVANCED TYPED FUNCTIONAL LANGUAGES: THEOREM PROVINQ IN COQ

J o h n   M i t c h e l l  (Stanford)
TYPE SYSTEMS AND PROGRAMMING LANGUAGES

E u g e n i o   M o g g i  (Genova)
META-LANGUAGES AND APPLICATIONS

S i m o n a   R o n c h i  d e l l a   R o c c a  (Torino)
BASIC LAMBDA CALCULUS

Formal Methods  for specifying, modularizing, verifying, and reusing large
programs and systems, as well as principled languages, which allow to apply
rapidly such methods, are greatly needed in Computer Science. Typed  Lambda
Calculus  has been recently understood has been recently understood as a
central node in a conceptual network  which links various fields of Logic
to Computer Science. It has made possible to transfer fruitfully ideas and
techniques from Category Theory, Proof Theory, and Type Theory to Computer
Science.
Based on formally solid and conceptually disciplined logical grounds, Typed
Lambda Calculus allows for the development of a mathematically clear style
of programming as well as for the design of flexible  logical  tools  and
methods for Computer Science. In recent years, Typed  Lambda  Calculus has
been impressively used also as a metalanguage for defining formal systems for
reasoning about programs and as a logical framework for designing interactive
proof assistans for computer aided formal reasoning. The School will offer 5
series  of (approx.8-10) introductory and advanced lectures on the connections
between Typed Lambda Calculus and Category Theory, Proof Theory, and Type
Theory, and on the, more recent, applications of Typed Lambda Calculus, such
as the design of Typed Functional Languages, General Proof Assistants, and
Program Logics.

The School is intended primarily for young researchers and PhD students in
Computer Science and Mathematics.
There will be demonstrations, and participants  will have the opportunity to
use a computer environment. PhD students may ask to sit for an examination at
the School. It will consist of a Seminar on a topic agreed upon by the
Directors and the Speakers. The Advanced School will take place at

CISM, Palazzo del Torso
Piazza Garibaldi, 18 I
33100 Udine, ITALY

Participants are expected to arrive on Monday September 19th and leave on
Saturday October 1st. Three courses will be allocated in the first week, from
Tuesday September 20th to Saturday September 24th. The remaining two courses
will be allocated in the second week.
Seminars, including those given by participants, and Round Tables, with
discusssions of open problems will be organized during the second week.

A C C O M O D A T I O N

There are many hotel opportunities in Udine. Participants are kindly requested
to make the hotel reservation directly. The following table includes some
relevant information concerning hotels in Udine. When contacting the hotel
please request the special price for CISM participants. The international
telephone code number for Udine is +39 432.

H o t e l s   i n   U d i n e

Single Room        Double Room

Cat. i)   AMBASSADOR PALACE HOTEL           70,000-105,000       143,5000
via Carducci 46, tel. 503777        break. incl.      break. incl.

Cat. ii)  CRISTALLO                             66,000           102,000
P.le D'Annunzio 43, tel. 501919     break. 12,000

FRIULI                                 80,000          115,000
Viale Ledra  24, tel 234351

PRINCIPE                               85,000          115,000
V.le Europa Unita 51, tel. 50600     break. incl.     break. incl.

SAN GIORGIO                            75,000          106,000
P.le Cella 3, tel. 505577            break. 15,000

Cat iii)  QUO VADIS                              50,000           80,000
P.le Cella 28, tel. 21901             break. 5,000

Cat iv)   SUITE INN - Meuble'                    30,000           50,000
via di Toppo 25 tel. 501683           break. 3,500

A P P L I C A T I O N S

To apply, participants should fill the enclosed form and return it
together with a recommendation letter to:

Advanced School on Typed Lambda Calculus Secretariat
CISM
Palazzo del Torso
Piazza Garibaldi 18
I 33100 UDINE - ITALY

Tel: +39 432 294989 or 508251
Fax:  +39 432 501523

The  D E A D L I N E  for application is July 20th, 1994.
Further informations can be obtained via email under the address:

scuola@dimi.uniud.it

F E E S

The Participation fee is 600,000 Italian Liras. It does not include
accomodation or meals. Participants should make the payment on the

CISM Bank Account  N. 3000, Banca del Friuli, Agenzia 2, UDINE, ITALY

before August 10th, 1994. Please make sure that the name on the application
form appears on all bank documents.

G R A N T S

There is a limited number of grants for participants who cannot obtain
funding from their institutions for their travel, participation fee
and living expenses. In particular participants from developing
countries may ask for partial or total support through the UNESCO
grant.  In order to have a large attendance applicants are encouraged
to solicit partial support also from their institutions.  To apply for
a grant, participants should fill the enclosed Grant Application Form
and send it together with their Application Form and CV.  Awarding of
grants will be notified by July 31st, 1994.

O R G A N I Z A T I O N

Furio Honsell (chairman)
Paola Agnola (secretary)
Fabio Alessi
Franco Barbanera
Luigi Liquori
Marino Miculan.

A P P L I C A T I O N   F O R   A D M I S S I O N

I hereby apply for admission as participant in the
Advanced School on Typed Lambda Calculus and Functional Programming'', Udine,
September 19 - September 30, 1994.

Surname: ............................  First Name: ..........................

Date of Birth: ....................... Citizenship: .........................

.............................................................................

.............................................................................

email:................................. Fax: .................................

telephone (home): ..................... (office): ............................

A letter of recommendation from ..............................................

................................ is attached/will follow under separate cover.

Highest university degree obtained, year, institution:

.............................................................................

Institution presently associated with: .......................................

.............................................................................

Present position and duties: .................................................

.............................................................................

Current interests in Computer Science: .......................................

.............................................................................

Publications: ................................................................

..............................................................................

..............................................................................

..............................................................................

..............................................................................

I would like to sit for an exam at the Advanced School:  Yes  No

I would like to give a seminar at the Advanced School:   Yes  No

Title: ........................................................................

Short abstract: ...............................................................

..............................................................................

..............................................................................

..............................................................................

..............................................................................

Date: ..............................

Signature: ...................................................................

(Fill, if applicable) The Participation Fee has been payed on CISM Bank Account
N.3000, Banca del Friuli, Agenzia 2, Udine, ITALY.

Surname: ......................................................................

First name: ...................................................................

..............................................................................

..............................................................................

(Only for italian residents  or foreigners with permanent business activity in
Italy)
C.F.:  .............................................................

A P P L I C A T I O N   F O R   A   G R A N T

I hereby apply for the following support for attending the
Advanced School on Typed Lambda Calculus and Functional Programming'', Udine,
September 19 - September 30, 1994. :

- travel expenses:  Yes   No

- living expenses: Yes  No

- participation fee:  Yes   No

When using the most economical way of
travelling, my travel costs amount to: ...........................

Other sources will contribute to my expenses for:

- travel expenses: ................................................

- living expenses: ................................................

- participation fee: ...............................................

I do not receive any further support and I hereby declare that the above
information is correct and to the best of my knowledge.

Date: ...................................

Signature: ...........................................................

S T A T E M E N T   O F   T H E   I N S T I T U T I O N

The applicant ...............................................................

is associated with our institution as .......................................

We will cover the :

- travel expenses ...........................................................

- living expenses ............................................................

- participation fee .........................................................

arising from the applicant's attendance at the Advanced School.

Date: ..................................

Signature/stamp: .............................................................

-------------------------- latex file ------------

\documentstyle{article}

\parindent 0cm
\pagestyle{empty}
\textwidth 18 cm
\textheight 26cm
\topmargin -2.5cm
\oddsidemargin -1.2cm
\evensidemargin -1.2cm
\begin{document}
\begin{minipage}[t]{18cm}

\begin{center}
{\Huge Advanced School on Typed Lambda Calculus
} \end{center}
\begin{center}
{\Huge and Functional Programming}
\end{center}

\begin{center}
{\LARGE September 19 - September 30, 1994}\\ {\Large CISM, Palazzo del Torso,
Piazza Garibaldi, 18 - UDINE (ITALY)} \end{center} \bigskip
\end{minipage}
{\Large The Advanced School is organized under the auspices of the Italian
Chapter of  EATCS (European Association for Theoretical Computer Science) and
UNESCO. It is sponsored and supported by:
\begin{itemize}
\item
UNESCO Fund in Trust Project with the Italian Foreign Ministry: Education in
Basic Sciences for Informatics''
\item
Universit\a degli Studi di UDINE
\item
Consiglio Nazionale delle Ricerche
Comitato consultivo per la Matematica''.
\end{itemize}
}

\bigskip
\begin{minipage}[t]{ 10 cm}
{\em
Formal Methods} for {\em specifying, modularizing, verifying, and reusing}
large programs and systems, as well as {\em principled languages}, which
allow to apply rapidly such methods, are greatly needed in Computer Science.

{\em Typed Lambda Calculus} has been recently understood as a central
node
in a conceptual network  which links various fields of {\em Logic}
to {\em Computer Science}.
It has
made possible to transfer fruitfully ideas and techniques from {\em
Category Theory}, {\em Proof Theory}, and {\em Type Theory} to Computer
Science.
Based on formally
solid and conceptually disciplined logical grounds, Typed Lambda Calculus
allows for the development of a mathematically clear style of programming
as well as for the design of flexible logical tools and methods for Computer
Science. In recent years, Typed Lambda Calculus has been impressively used
also as a {\em metalanguage} for defining formal systems for {\em reasoning}
about programs and as a {\em logical framework} for designing {\em interactive
proof assistants} for computer aided formal reasoning.

The School
will offer 5 series of (approx.8-10) introductory and advanced lectures
on the connections between Typed Lambda Calculus and
Category
Theory, Proof Theory, and Type Theory, and on the, more recent, applications of
Typed Lambda Calculus, such as the design of Typed Functional Languages,
General Proof Assistants, and Program Logics.
\bigskip
\end{minipage}
\ \
\begin{minipage}[t] {7cm}
\begin{center}
\smallskip
{\Large {\bf School Directors}}
\smallskip \\
{\bf  M. DEZANI CIANCAGLINI} (Torino)\\
{\bf FURIO HONSELL} (Udine)\\
\smallskip
\end{center}
\begin{center}
{\Large {\bf List of Speakers}}\\
\end{center}
\begin{center}
{\bf JEAN-YVES GIRARD}%(Marseilles) \\
{\em Proof Theoretic Foundations}  \end{center}
\begin{center}
{\bf GERARD HUET}%(INRIA Rocquencourt)  \\
Theorem Proving in Coq}\end{center}
\begin{center}
{\bf JOHN MITCHELL}%(Stanford) \\
{\em Type Systems and Programming Languages}
\end{center}
\begin{center}
{\bf EUGENIO MOGGI}%(Genova) \\
{\em Meta-languages and Applications}
\end{center}
\begin{center}
{\bf S. RONCHI DELLA ROCCA}%(Torino)  \\
{\em Basic Lambda Calculus}
\end{center}
\end{minipage}

The School is intended primarily for young researchers and PhD students in
Computer Science and Mathematics.
There will be demonstrations, and \bigskip
participants will have the opportunity to use a computer environment.

PhD students may ask to sit for an examination at the School. It will consist
of a Seminar on a topic agreed upon by the Directors and
\bigskip
the Speakers.

The Advanced School will take place at
\begin{center}
CISM, Palazzo del Torso
Piazza Garibaldi, 18
I-33100 Udine, ITALY
\bigskip
\end{center}

Participants are expected to arrive on Monday September 19th and leave on
Saturday October 1st. Three courses will be allocated in the first week, from
Tuesday September 20th to Saturday September 24th. The remaining two courses
will be allocated in the second week.
Seminars, including those given by participants,
and Round Tables, with discusssions of open problems will be organized
during the second week.
\newpage

{\bf ACCOMODATION}\\
There are many hotel opportunities in Udine. Participants are kindly requested
to make the hotel reservation directly. The following table includes some
relevant information concerning hotels in Udine. When
contacting the hotel please request the special price
for CISM participants.
The international
telephone code number for Udine is +39 432.
\bigskip

\begin{center}
\begin{tabular}{|l|l|r|r|}\hline
\multicolumn{2}{|c|}{} & \multicolumn{2}{c|}{prices
in Lire}\\ \cline{3-4}
\multicolumn{2}{|c|}{\bf {\large HOTELS IN UDINE}} & Single Room &  Double Room
\\ \hline
Cat. i)  & AMBASSADOR PALACE HOTEL& 70 $\!$000-105 $\!$000&143 $\!$500\\
& Via Carducci 46, tel. 503777& break. incl.& break.incl.\\
\hline
Cat. ii) & CRISTALLO & 66 $\!$000& 102 $\!$000\\
&  P.le D'Annunzio 43, tel. 501919& breakfast: 12 $\!$000&\\ \cline{2-4}
& FRIULI & 80 $\!$000& 115 $\!$000\\
& Viale Ledra 24, tel. 234351 & &\\ \cline{2-4}
& PRINCIPE & 85 $\!$000& 120 $\!$000\\
& V.le Europa Unita 51, tel. 506000& break.incl.& break.incl.\\
\cline{2-4}
& SAN GIORGIO & 75 $\!$000& 106 $\!$000\\
& P.le Cella 3, tel.505577& breakfast:15 $\!$000&\\ \hline
Cat. iii) & QUO VADIS & 50 $\!$000&80 $\!$000\\
&P.le Cella 28, tel.21901& breakfast: 5 $\!$000&
\\ \hline
Cat. iv) & SUITE INN - Meubl\e& 30 $\!$000&50 $\!$000\\
& via di Toppo 25, tel.501683& breakfast:3 $\!$500&\\ \hline
\end{tabular}
\end{center}
\vspace*{0.75cm}

{\bf APPLICATIONS}\\
To apply, participants should fill the enclosed form and return it together with
a recommendation letter to:
\begin{center}
Advanced School on Typed Lambda Calculus'' Secretariat\\CISM\\
Palazzo del Torso\\
Piazza Garibaldi 18\\
I-33100 UDINE - ITALY\\
Tel: +39 432 294989 or 508251%%Fax:  +39 432 501523
\end{center}
\smallskip
The {\bf DEADLINE} for application is July 20th, 1994.
Further informations
can be obtained via email under the address:
\begin{center}
{\tt scuola@dimi.uniud.it}
\end{center}
\vspace{0.5cm}
{\bf FEES}\\
\noindent The Participation fee is
600 $\!$000 Italian Liras. It does not include accomodation or meals.
Participants should make the payment on the {\bf CISM Bank Account  N.
3000, Banca del Friuli, Agenzia 2, UDINE, ITALY} before August 10th, 1994.
Please make sure that the name on the application form appears on all bank
documents.
\vspace{0.5 cm}\\
{\bf GRANTS}\\
\noindent There is a limited number of grants for participants who cannot obtain
funding from their institutions
for their travel, participation fee and living expenses.
In particular participants from developing countries may ask for partial
or total support through the UNESCO grant.  In order to have a large
attendance applicants are encouraged to solicit partial support also from
their institutions.
To apply for a grant, participants should fill the enclosed
Grant Application Form and send it together
with their Application Form and CV. Awarding of grants will be notified by July
31st, 1994.
\vspace*{0.5cm}\\
{\bf ORGANIZATION }\\
Furio Honsell (chairman)\\
Paola Agnola (secretary)\\
Fabio Alessi\\
Franco Barbanera\\
Luigi Liquori\\
Marino Miculan.\\

\newpage
\vspace*{0.7cm}\\
I hereby apply for admission as participant in the Advanced School on Typed
Lambda Calculus and Functional Programming'', Udine, September 19 -
September 30, 1994.
\smallskip\\
\begin{tabular}{ll}
\smallskip
Surname:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
&
First name:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
Date of Birth:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .&
Citizenship:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \  & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
email:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .&
Fax:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
telephone (home):
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .&
(office):\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
\end{tabular}
\smallskip\\
A letter of recommendation from \ \ \ .\ \ \.\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ . is
\smallskip
Highest university degree obtained, year, institution:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\\
\smallskip
Institution presently associated with:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
Present position and duties:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
Current interests in Computer Science:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\\
Publications:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
I would like to sit for an exam at the Advanced School:
\raisebox{0.1cm}{\fbox{\ }}\\
\smallskip
I would like to give a seminar at the Advanced School:
\raisebox{0.1cm}{\fbox{\ }}\\
Title:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
Short abstract:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\
\smallskip\\
\smallskip \\
\smallskip
Date:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
Signature:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
\smallskip\\
\smallskip \\
\smallskip
(Fill, if applicable) The Participation Fee has been payed on CISM Bank Account
N.3000, Banca del Friuli, Agenzia 2, Udine, ITALY.
\smallskip
Surname:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\\
\smallskip
First name:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
Mailing
Address:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
(Only for italian residents  or foreigners with permanent business activity in
Italy)\\
C.F.
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .

\newpage
{\Large APPLICATION FOR A GRANT}\\
\vspace*{1cm}\\
\noindent I hereby apply for the following support for attending the Advanced
School on Typed Lambda Calculus and Functional Programming'', Udine, September
19 - September 30, 1994. :\\
- travel expenses
\raisebox{0.1cm}{\fbox{\ }}  \hspace*{3cm}
- living expenses  \raisebox{0.1cm}{\fbox{\ }}\hspace*{3cm}
- participation fee  \raisebox{0.1cm}{\fbox{\ }}
\smallskip\\
When using the most economical way of travelling, my travel costs amount to:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
Other sources will contribute to my expenses for:
\\
- travel expenses
\raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
- living expenses
\raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
- participation fee
\raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
\bigskip\\
I do not receive any further support and I hereby declare that the above
information is correct and to the best of my knowledge.\\
\bigskip
Date: \ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
%\hspace*{6cm}
Signature: \ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
\vspace{1cm}\\
{\ STATEMENT OF THE INSTITUTION}\\
The applicant
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .
is associated with our institution as \ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
We will cover the :\\
- travel expenses
\raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
- living expenses  \raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \
- participation fee  \raisebox{0.1cm}{\fbox{\ }}
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ \\
arising from the applicant's attendance at the