TLCA 2001
5th International Conference on
Typed Lambda Calculi and Applications
May 2 -5, 2001, Krakow, Poland

Home Page

Call for Papers

Program

General Information

Hotels

Excursions

Registration

Poster

Krakow map

Welcome to TLCA 2001

The TLCA series of conferences aims at providing a forum for the presentation and discussion of current research in a field which was originally rather restricted, but has now expanded considerably becoming a vital branch of research on the borderline between Mathematical Logic and Theoretical Computer Science.

The Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001) will be held in Krakow  ( Poland ) from 2th to 5th May , 2001.  The conference is organized by the Institute of Computer Science   of Jagiellonian University and co-organized by the Institute of Informatics of Warsaw University.

 click for
REGISTRATION FORM

To register for TLCA 2001, fill in the registration form and return the signed form by post, e-mail or fax to the following address:

ESKAPADA sp. zoo, 
Rynek Glowny 27, 
31-010 Krakow,  
fax: /+48 12/ 411 39 32, 
E-mail: biuro@eskapada.com.pl 

any enquires to the above and by telephone: /+48 12/ 
423 09 06, 423 07 38, 411 39 32

 Program Committee

S. Abramsky (Oxford) (chair)
P.-L. Curien (Paris)
P. Dybjer (Goteborg)
T. Ehrhard (Marseille)
M. Hasegawa (Kyoto)
F. Honsell (Udine)
D. Leivant (Bloomington)
S. Ronchi della Rocca (Turin)
H. Schwichtenberg (Munich)
P. Scott (Ottawa)
J. Tiuryn (Warsaw)

 Organizing Committee

M. Zaionc (Krakow) (chair)
P. Urzyczyn (Warsaw)
J. Wielgut-Walczak (Krakow)

TLCA 2001 web page

http://www.ii.uj.edu.pl/zpi/tlca2001/
e-mail: tlca2001@ii.uj.edu.pl

News:

Current Update

Program Committee Chairman
Samson Abramsky
Oxford University
Computing Laboratory
Wolfson Building
Parks Road
Oxford OX1 3QD
United Kingdom 

top of page