[Prev][Next][Index][Thread]
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: .........................
Mailing Address: ............................................................
.............................................................................
.............................................................................
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.
Please address the receipt to:
Surname: ......................................................................
First name: ...................................................................
Mailing Address: .............................................................
..............................................................................
..............................................................................
(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) \\
{\em Advanced Typed Functional Languages:\\
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
{\Large APPLICATION FOR ADMISSION}\\
\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
Mailing Address:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ & .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
\smallskip
email:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .&
Fax:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\\
telephone (home):
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .&
(office):\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ %
\ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .
\end{tabular}
\smallskip\\
A letter of recommendation from \ \ \ .\ \ \.\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ . is
attached/will follow under separate cover.\\
\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.
Please address the receipt to:\\
\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
Advanced School.
\smallskip\\
Date:\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .
Signature/stamp:
\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .\ \ \ .%
\ \ \ .\ \ \ .
\vspace{0.2cm}\\
\end{document}