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

Paweł Urzyczyn urzy at mimuw.edu.pl
Fri Apr 29 18:28:30 EDT 2011

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.

More information about the Types-announce mailing list