[TYPES/announce] "Types for Proofs and Programs" - deadline extension

[Paweł Urzyczyn]

Several authors requested an extension of the submission deadline for

               LMCS special issue  "Types for Proofs and Programs"

Therefore we offer the following schedule:

                         Title and abstract:  May 2
                             Full paper: May 16

Further extensions are negotiable, but please notify us as soon as possible.

Henk Barendregt, Pawel Urzyczyn - special issue editors.