TLCA -- WWW page and deadline reminder

Dear Typespeople,

Let me have the pleasure to announce that a permanent web page for
the conference series:

          Typed Lambda Calculi and Applications (TLCA)

has been established at the URL:


Let me also remind you that the submission deadline for TLCA 2001
       (to be held in Krakow, Poland from 2 to 5 May 2001) is:

                           OCTOBER 9

                  (that is, the next Monday!)
Details concerning submissions are available from:


Looking forward to see you in Krakow, 
Pawel Urzyczyn