[TYPES/announce] "Types for Proofs and Programs" - deadline extension
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